Merge branch 'master' of ssh://git.eclipse.org:29418/stem/org.eclipse.stem

org.eclipse.stem/core/org.eclipse.stem.ui.headless/src/org/eclipse/stem/ui/headless/WorkspaceImporter.java

diff --git a/org.eclipse.stem/core/org.eclipse.stem.ui.headless/src/org/eclipse/stem/ui/headless/WorkspaceImporter.java b/org.eclipse.stem/core/org.eclipse.stem.ui.headless/src/org/eclipse/stem/ui/headless/WorkspaceImporter.java
index 75b2abe..fde2f01 100644
--- a/org.eclipse.stem/core/org.eclipse.stem.ui.headless/src/org/eclipse/stem/ui/headless/WorkspaceImporter.java
+++ b/org.eclipse.stem/core/org.eclipse.stem.ui.headless/src/org/eclipse/stem/ui/headless/WorkspaceImporter.java
@@ -110,7 +110,7 @@
 	
 	public static void refreshWorkspace()
 	{
-		
+		 
 		final Semaphore s = new Semaphore(1);
 		
 		try { s.acquire(); } 
@@ -122,16 +122,19 @@
 				s.release();
 			}
 		};
-
+		
 		try {
 			ResourcesPlugin.getWorkspace().getRoot()
 				.refreshLocal(IResource.DEPTH_INFINITE, pm);
 		} catch (CoreException ce) {
-			
+			ce.printStackTrace();
 		}
 		
+		/**
+		 * SED 03/26/2020 commented out since it hangs headless runs 
 		try { s.acquire(); } 
 		catch (InterruptedException e) { }
+		*/
 		
 	}