Bug 25903 AnnotationType.PROBLEM?
Why is there no PROBLEM annotation type? The method IAnnotationType.isProblem() has been deprecated.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/AnnotationType.java
/**********************************************************************
Copyright (c) 2000, 2002 IBM Corp. and others.
All rights reserved. This program and the accompanying materials
are made available under the terms of the Common Public License v1.0
which accompanies this distribution, and is available at
http://www.eclipse.org/legal/cpl-v10.html
Contributors:
    IBM Corporation - Initial implementation
**********************************************************************/
package org.eclipse.jdt.internal.ui.javaeditor;
/**
 * MarkerType.java
 */
public final class AnnotationType {
	
	public final static AnnotationType ALL= new AnnotationType();
	public final static AnnotationType UNKNOWN= new AnnotationType();
	public final static AnnotationType BOOKMARK= new AnnotationType();
	public final static AnnotationType TASK= new AnnotationType();
	public final static AnnotationType ERROR= new AnnotationType();
	public final static AnnotationType WARNING= new AnnotationType();
	public final static AnnotationType SEARCH_RESULT= new AnnotationType();
	
	private AnnotationType() {
	}
}