String propName = key.substring(prefix.length());
serverProperties.setProperty(propName, value);
}
final Launcher launcher = getLauncher(System.getProperty("java.class.path"),
serverProperties,
getTestServerMain(),
serverArgs.toArray(new String[serverArgs.size()]));
serverProcess = launcher.launch();
// add a shutdown hook to ensure that the server process
// is shutdown even if this JVM is going down unexpectedly
Runtime.getRuntime().addShutdownHook(new ProcessShutdown(serverProcess));