Bug 14444 java editor refers to internal jcore classes
ClassFileEditor CompilationUnitDocumentProvider JavaMarkerAnnotation
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitDocumentProvider.java
return fProblem.getMessage();
			}
			/*
			 * @see IProblemAnnotation#isTemporaryProblem()
			 */
			public boolean isTemporaryProblem() {
				return true;
			}
			/*
			 * @see IProblemAnnotation#isWarning()
			 */
			public boolean isWarning() {
				return fProblem.isWarning();
			}
			/*
			 * @see IProblemAnnotation#isError()
			 */
			public boolean isError() {
				return fProblem.isError();
			}
			
			/*
			 * @see IProblemAnnotation#getArguments()
			 */
			public String[] getArguments() {
				return fProblem.getArguments();
			}
			/*
			 * @see IProblemAnnotation#getId()
			 */