IDocument document= fSourceViewer.getDocument();
IDocument document= fSourceViewer != null ? fSourceViewer.getDocument() : null;
	public Object getTimestamp() {		IDocument document= fSourceViewer.getDocument();		if (document == null)			return fTimestamp;				synchronized (document) {			return fTimestamp;		}	}