scala-ide/scala-ide — pull request #713 by huitseeker (2014-06-05 09:43:55+00:00)
Title: Issue/custom code removal

Drive-by simplification of CompilerSettings.

I vow that one day we'll make this a FieldEditorPreferencePage and remove all that cruft.