Delete DoubleFormat.java