Delete DoublePoint.java~