// workaround for Windows issue when stopping a process. Use
// an external library that does a better job stopping
// processes than Process.destroy()
if (System.getProperty("os.name").startsWith("Windows")) {
WinProcess wp = new WinProcess(proc);
wp.killRecursively();
} else {
proc.destroy();
}
}