sS tok_mainClassNameFromJavaXSnippet(S snippetID) {
  ret secondJavaToken(jextract("mainClassName <id>", loadSnippet(snippetID)));
}