PartiallySynchronizedDocument document= new PartiallySynchronizedDocument();
IDocument document= FileBuffers.getTextFileBufferManager().createEmptyDocument(null); if (document instanceof ISynchronizable) ((ISynchronizable)document).setLockObject(new Object());
	protected IDocument createDocument(String contents) {		PartiallySynchronizedDocument document= new PartiallySynchronizedDocument();		document.set(contents);		return document;	}