addReplace(scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenSource().length, operation, "Replace operator");
addReplace(scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenSource().length, newOperation, "Replace operator");
	private void replaceOperation(int posBeforeOperation, String operation) {		try {			IScanner scanner= getScanner(posBeforeOperation);			scanner.getNextToken(); // op						addReplace(scanner.getCurrentTokenStartPosition(), scanner.getCurrentTokenSource().length, operation, "Replace operator");		} catch (InvalidInputException e) {			JavaPlugin.log(e);		}	}