public void clearProperty(String key) {
   super.clearProperty(key);
   possiblySave();
 }
 /**
  * Sets a new value for the specified property. This implementation checks if the auto save mode
  * is enabled and saves the configuration if necessary.
  *
  * @param key the key of the affected property
  * @param value the value
  */
 public void setProperty(String key, Object value) {
   super.setProperty(key, value);
   possiblySave();
 }