static void killProcess(Process p) {
  if (p != null) p.destroy();
}