Project: JDT
Bug 25903 AnnotationType.PROBLEM?
Reported: 2002-11-08 12:49:05 | Status: closed fixed

Why is there no PROBLEM annotation type? The method IAnnotationType.isProblem() has been deprecated.

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/AnnotationType.java