--- a/tools/JavaSourceHighlighter.st	Wed Sep 25 16:11:39 2013 +0100
+++ b/tools/JavaSourceHighlighter.st	Thu Sep 26 09:11:50 2013 +0100
@@ -276,8 +276,10 @@
         document resolve.
         type := document sourceTreeForClass: class theNonMetaclass.
         marker := Marker new.
-        marker highlighter: self.     
-        parser := (Java classForName:'stx.libjava.tools.text.Highlighter') new.
+        marker highlighter: self. 
+        JavaCompiler synchronized:[
+            parser := (Java classForName:'stx.libjava.tools.text.Highlighter') new.
+        ].
         parser setMarker: marker.
 
         debug :=  false.
@@ -289,7 +291,7 @@
     ^ sourceText
 
     "Created: / 04-08-2011 / 23:45:10 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 14-09-2013 / 11:57:29 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 25-09-2013 / 22:32:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 formatMethod:mth source:source in:class using: prefs elementsInto: els