Bug 91955 API Request: Add modification stamp to document and document event
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/PartiallySynchronizedDocument.java
}
    }
	/*
	 * @see IDocument#get(int, int)
	 */
	public String get(int offset, int length) throws BadLocationException {
		synchronized (getLockObject()) {
            return super.get(offset, length);
        }
	}
	/*
	 * @see IDocument#getChar(int)
	 */
	public char getChar(int offset) throws BadLocationException {
		synchronized (getLockObject()) {
            return super.getChar(offset);
        }
	}
	/*
	 * @see IDocument#replace(int, int, String)
	 */
	public void replace(int offset, int length, String text) throws BadLocationException {
		synchronized (getLockObject()) {
            super.replace(offset, length, text);
        }
	}
	/*
	 * @see IDocument#set(String)
	 */
	public void set(String text) {