!752

static S snippetID = "#636";

p-subst {
  if (args.length != 0) snippetID = args[0];
  editJavaXSnippet(snippetID);
  if (creator() == null) hideConsole();
}