_setEnvProperty(name, value);
}
public void _setEnvProperty(String name, String value) throws ShellException {
if(roSet.contains(name) && props.getProperty(name)!=null)
throw new ShellPropertyException("Property has been set already: " + name);
if(value == null)
props.remove(name);
else
props.setProperty(name, value);