PropertiesModelEditor.java patch