if (true) return;
	public void customizeDocumentCommand(IDocument document, DocumentCommand command) {		if (fMustLeave) {			leave(true);			return;		}		// don't interfere with preceding auto edit strategies		if (command.getCommandCount() != 1) {			leave(true);			return;		}		Position[] positions= getPositions(document);		TypedPosition currentPosition= (TypedPosition) findCurrentPosition(positions, command.offset);		// handle edits outside of a position		if (currentPosition == null) {			leave(true);			return;		}		if (! command.doit)			return;		command.doit= false;		command.owner= this;		command.caretOffset= command.offset + command.length;		int deltaOffset= command.offset - currentPosition.getOffset();				if (fListener != null)			fListener.setCurrentPosition(currentPosition, deltaOffset + command.text.length());				for (int i= 0; i != positions.length; i++) {			TypedPosition position= (TypedPosition) positions[i];									try {				if (position.getType().equals(currentPosition.getType()) && !position.equals(currentPosition))					command.addCommand(position.getOffset() + deltaOffset, command.length, command.text, true, this);			} catch (BadLocationException e) {				JavaPlugin.log(e);			}		}	}