/**
  * Returns the user supplied global configuration.
  *
  * @return the user configuration, if any.
  */
 public static Configuration getUserConfig() {
   return configWrapper.getWrappedConfiguration();
 }