143144145146147148149150151152153
// remove the old users property if it still exists from the old format editor.setValue(getUsersPropertyName(feature), null); // write editor.commit(); } private static String getEnabledPropertyName(Feature feature) { return feature.name();