static bool noJavaTokens(S s) {
  ret numberOfJavaTokens(s) == 0;
}