Project: JDT
Bug 303945 [preferences] add Errors/Warnings option "Suppress optional errors with @SuppressWarnings"
Reported: 2010-02-25 13:12:26 | Status: verified fixed


Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/ProblemSeveritiesConfigurationBlock.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/correction/SuppressWarningsSubProcessor.java