scala-ide/scala-ide — pull request #13 by hubertp (2011-10-20 14:28:15+00:00)
Title: Issue/jdk version setting not honored 1000406

Fixes #1000406 plus doesn't put automatically scala compiler on the classpath