public void setProperty(G_PROPERTIES key, String string) {
    if (properties == null) {
      properties = new Properties();
    }
    if (properties == null) loadConfiguration();

    properties.setProperty(key.name(), string);
  }
  @SuppressWarnings("unchecked")
  protected void loadConfiguration() {
    String configFileName = getConfigurationFileName();
    boolean debugGlobalConfiguration =
        Boolean.parseBoolean(defaultValues.get(G_PROPERTIES.DEBUG_GLOBALCONFIGURATION));

    XMLDecoder decoder = null;
    if (configFileName != null && new File(configFileName).canRead())
      try {
        if (debugGlobalConfiguration)
          System.out.println("Loaded configuration file " + configFileName);
        decoder = new XMLDecoder(new FileInputStream(configFileName));
        properties = (Properties) decoder.readObject();
        windowCoords = (HashMap<Integer, WindowPosition>) decoder.readObject();
        decoder.close();
      } catch (Exception e) { // failed loading, (almost) ignore this.
        System.err.println("Failed to load " + configFileName);
        e.printStackTrace();
        if (debugGlobalConfiguration) {
          System.err.println("Failed to load " + configFileName);
          e.printStackTrace();
        }
      } finally {
        if (decoder != null) decoder.close();
      }
    if (windowCoords == null) windowCoords = new HashMap<Integer, WindowPosition>();
    if (properties == null) properties = new Properties();
    boolean valuesSet = false, firstValue = true;
    for (G_PROPERTIES prop : G_PROPERTIES.values()) {
      String name = prop.name(), value = null;
      try {
        value = System.getProperty(name);
      } catch (Exception ex) {
      } // ignore exception if cannot extract a value
      if (value != null) { // new value set via command-line
        if (debugGlobalConfiguration) {
          if (firstValue) firstValue = false;
          else System.out.print(',');
          System.out.print(name + "=" + value);
        }
        properties.setProperty(name, value);
        valuesSet = true;
      }
    }
    if (valuesSet && debugGlobalConfiguration) System.out.println();
  }
 /**
  * Retrieves the name of the property from the property file. The first call to this method opens
  * the property file.
  *
  * @param name the name of the property.
  * @param defaultValue the default value of the property
  * @return property value, default value if not found
  */
 public String getProperty(G_PROPERTIES name) {
   if (properties == null) loadConfiguration();
   return properties.getProperty(name.name(), defaultValues.get(name));
 }