scala-ide/scala-ide — pull request #414 by dragos (2013-05-22 13:24:11+00:00)
Title: Use the configured JDK and Scala library when building.

Make sure the Sbt builder uses the configured JDK and
Scala library. Make sure Sbt does not infer some default
libraries for `-bootclasspath`, or the JDK used for running
Eclipse.

Fixed #1001387

Should be backported.