scala-ide/scala-ide — pull request #658 by dragos (2014-03-24 17:41:51+00:00)
Title: Disable javaextdirs setting in Scala projects.

This setting is appended to the Scala class path. It defaults to the running JDK
extdirs, and that can cause trouble when the project JDK is different from the
JRE used to launch Eclipse.

Fix #1002072