changed in operateProperty.java