Delete PlusOperator.java~