sS tok_moduleNameFromJavaXSource(S src) {
  LS tok = javaTok(src);
  int i = jfind_any(tok, "module <id>", "cmodule <id>");
  ret i < 0 ? null : tok.get(i+2);
}