fDocument.replace(fOffset, fLength, fText);
if (!isClosed()) fDocument.replace(fOffset, fLength, fText);
			public void run() {				try {					fDocument.replace(fOffset, fLength, fText);				} catch (BadLocationException x) {					// ignore				}			}