Project: JDT
Bug 372013 [preferences] option to turn on warnings for missing null default annotation
Reported: 2012-02-20 05:55:19 | Status: resolved 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