scala-ide/scala-ide — pull request #2 by emolitor (2011-10-09 11:55:35+00:00)
Title: Add changes safe for Helios that improve compatibility with Indigo

Two simple changes compatible with Helios that improve compatibility with Indigo. I'd also like to merge these into 2.0 if possible.