return command;
}
Map<String, String> getServerLaunchEnvironment() {
Map<String, String> env = null;
PropertiesElement pe = jvmElement.getEnvironmentVariables();
if (pe != null) {
env = pe.getProperties();
}
else {
env = Collections.emptyMap();
}
return env;