Updated JavaDocument.updateSyntaxHighlighting() and
performSyntaxHighlighting() with a 'force' flag.
Fixed performance issue, where the EDT was calling performSyntaxHighlighting() lots of times from updateSyntaxHighlighting().