} catch (BadLocationException x) {
} catch (BadLocationException e) { JavaPlugin.log(e);
		public void perform(IDocument document, IDocumentListener owner) {			document.removeDocumentListener(owner);			try {				document.replace(fReplacePosition.getOffset() + fReplaceDeltaOffset, fReplaceLength, fReplaceText);			} catch (BadLocationException x) {				// TBD			}			document.addDocumentListener(owner);		}