static T3<S> jextractWithRests(S pat, S s) {
ret jextractWithRests(pat, javaTok(s));
static T3<S> jextractWithRests(S pat, L<S> tok) {
L<S> tokpat = javaTok(pat);
jfind_preprocess(tokpat);
int i = jfind(tok, tokpat);
int j = i + l(tokpat) - 2;
ret t3(joinSubList(tok, 0, i), joinSubList(tok, i, j), joinSubLis
t(tok, j));