public PropertyDescriptor getPropertyDescriptor(String name) {
return (PropertyDescriptor) propDesc.get(getPropertyName(name));
}
/** Returns the setting of an environment variable set inside the JVM. */
public static String getEnvironmentVariable(String envVarName) {
if (envVars == null) envVars = getEnvironmentVariables();
return (String) envVars.get(envVarName);
}