Delete TimesOperator.java~