--- a/tools/JavaCompilerProblemService.st	Wed Aug 07 02:07:18 2013 +0100
+++ b/tools/JavaCompilerProblemService.st	Thu Aug 08 10:41:42 2013 +0100
@@ -115,8 +115,10 @@
 updateProblems: class
     problems := JavaCompilerProblemRegistry problemsFor: class.
     self rehighlight: true.
+    gutterView invalidate.
 
     "Created: / 06-08-2013 / 20:18:19 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 08-08-2013 / 00:19:04 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaCompilerProblemService methodsFor:'drawing'!

--- a/tools/JavaSyntaxHighlighter.st	Wed Aug 07 02:07:18 2013 +0100
+++ b/tools/JavaSyntaxHighlighter.st	Thu Aug 08 10:41:42 2013 +0100
@@ -293,10 +293,10 @@
         ].
         FormattedSourceCache at: class put: { source . sourceText }
     ].
-    ^sourceText
+    ^sourceText copy
 
     "Created: / 17-03-2012 / 14:02:24 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 07-08-2013 / 00:26:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 08-08-2013 / 00:22:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 ! !
 
 !JavaSyntaxHighlighter methodsFor:'syntax detection'!