Delete MinusOperator.java~