static List<String> jsTok(String s) {
  ret javaTok(s);
}



static List<String> jsTok(List<String> tok) {
  ret javaTok(tok);
}