static void restartProgramID(S id) {
  killProgramID(id);
  print("Starting program " + id);
  nohupJavax("" + parseSnippetID(id));
}