static LS jextractAllIC(S pat, S s) {
  ret jextractAllIC(pat, javaTok(s));
}

static LS jextractAllIC(S pat, LS tok) {
  LS tokpat = javaTok(pat);
  jfind_preprocess(tokpat);
  ret map(jfindAllIC(tok, tokpat), i -> joinSubList(tok, i, i+l(tokpat)-2));
}