Project: JDT
Bug 9510 Improve option settings for JDK 1.4
Reported: 2002-02-13 02:19:15 | Status: resolved fixed

What we currently offer isn't sufficient. We should discuss with Philippe, this is important for the next milestone

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/CompilerPreferencePage.java