--- a/tools/JavaSourceHighlighter.st	Fri Sep 20 02:03:08 2013 +0100
+++ b/tools/JavaSourceHighlighter.st	Fri Sep 20 02:13:50 2013 +0100
@@ -350,7 +350,9 @@
     ] ifFalse:[
         sourceUnit := (Java classForName:'stx.libjava.tools.Source') new.
         sourceUnit setContents: source string.
-        parser := (Java classForName:'stx.libjava.tools.text.Highlighter') new.
+        JavaCompiler synchronized:[
+            parser := (Java classForName:'stx.libjava.tools.text.Highlighter') new.
+        ].
         parser setMarker: marker.
         (sourceIndex notNil and:[sourceIndex isKindOf: SmallSense::ParseTreeIndex]) ifTrue:[
             | indexer |
@@ -375,7 +377,7 @@
     ]
 
     "Created: / 17-03-2012 / 14:02:24 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 17-09-2013 / 01:31:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 19-09-2013 / 10:55:51 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaSourceHighlighter methodsFor:'queries'!