/**
  * Defines the global user configuration.
  *
  * @param config the user configuration.
  */
 public static void setUserConfig(final Configuration config) {
   configWrapper.setWrappedConfiguration(config);
 }
 /**
  * Returns the user supplied global configuration.
  *
  * @return the user configuration, if any.
  */
 public static Configuration getUserConfig() {
   return configWrapper.getWrappedConfiguration();
 }