static bool anyJavaTokens(S s) {
  ret !noJavaTokens(s);
}