scala-ide/scala-ide — pull request #733 by dragos (2014-07-08 15:10:21+00:00)
Title: Don’t reuse platform classloader when ScalaInstallation matches its version

Remove the optimization that reused the platform class loader when the desired
Scala version matched the one installed in Eclipse. This proved to break due
to OSGi restrictions and the implementation of DelegatingReporter in the
compiler-interface.jar

See #1002175 for details