static LS tok_splitAtAsterisk(S s) {
  ret splitAtTokens(javaTokWithAllBrackets_cached(s), "*");
}