static LS javaTokWithBracketsPlusJavaTokC(S s) {
  ret concatLists(javaTokPlusBracketsC(s), javaTokC(s));
}