scala-ide/scala-ide — pull request #832 by huitseeker (2014-10-10 12:45:59+00:00)
Title: Fix thread check failure in reporting string of Implicit Highlighter

Fixes #1002295.