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
/*
			 * @see IDocument#get()
			 */
			synchronized public String get() {
				return super.get();
			}
			
			/*
			 * @see IDocument#get(int, int)
			 */
			synchronized public String get(int offset, int length) throws BadLocationException {
				return super.get(offset, length);
			}
			
			/*
			 * @see IDocument#getChar(int)
			 */
			synchronized public char getChar(int offset) throws BadLocationException {
				return super.getChar(offset);
			}
			
			/*
			 * @see IDocument#replace(int, int, String)
			 */
			synchronized public void replace(int offset, int length, String text) throws BadLocationException {
				super.replace(offset, length, text);
			}
			
			/*
			 * @see IDocument#set(String)