static List<String> javaTokNoQuotes(String s) {
  ret quotelessJavaTok(s);
}