Project: JDT
Bug 63840 warning on unused labels
Reported: 2004-05-25 09:23:36 | Status: verified fixed

we have warnings for all sorts of unused things. one for unused labels would be good too.

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