/**
  * Reads given configuration property. If not found, throws a MissingParameterException. Removes
  * trailing whitespace characters.
  *
  * @param name Name of configuration property
  */
 public static String getString(String name) {
   return config.getString(name);
 }
 /**
  * Reads given configuration property. If not found, returns the default value.
  *
  * @param name Name of configuration property
  * @param def default value
  */
 public static String getString(String name, String def) {
   return config.getString(name, def);
 }