<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_1kanrlq14o808kbdtmvs3ga9me, 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 />
!7

p {
  L<S> tok = javaTok("class main { bla bla; blubb blubb; }");
  printStruct(tok);
  new L<Pair<Int>> l;
  for i over tok: {
    if (eq(tok.get(i), "bla")) {
      tok.set(i, "bla.");
      l.add(pair(i, i));
    } else if (eq(tok.get(i), "blubb") && eq(tok.get(i+2), "blubb")) {
      tok.set(i, "blubb.");
      l.add(pair(i, i+3));
    }
  }
  printStruct(tok);
  printStruct(reTok_multi(tok, l));
}