<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_65qro5ssd0re97k6mbbe03obiu, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sS combineToJavaTokPattern(S a, S b) {
  if (a == null || b == null) null;
  L<S> tok1 = javaTok(a);
  L<S> tok2 = javaTok(b);
  if (l(tok1) != l(tok2)) null;
  new L<S> out;
  for i over tok1: {
    S t = tok1.get(i);
    bool eq = eq(t, tok2.get(i));
    if (even(i) && !eq) null; // N tokens must be equal
    out.add(eq ? t : "*");
  }
  ret joinWithSpace(out);
}

sS combineToJavaTokPattern(LS l) {
  ret foldl_noSeed(func(S a, S b) -> S { combineToJavaTokPattern(a, b) }, l);
}