scala-ide/scala-ide — pull request #507 by skyluc (2013-08-26 15:10:32+00:00)
Title: Overrides Java launch method to find existing Scala launches

Since Eclipes 3.8, a package private method is used by JavaLaunchShortcut
to find existing launch configurations for a given type.
Overrides the Java launch method to use different logic to find the Scala
launch configuraitons.

Fixes #1001447