Delete DoublePropertyWrapper.java