static L<S> tokMainJava() ctex {
  ret javaTok(loadMainJava());
}