<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_stvmcb58lgtv9orcjodhlnjqno, 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 />
static S replaceOrDropCodeTokensUsingMap(S s, SS map) {
  ret join(replaceOrDropCodeTokensUsingMap(javaTok(s), map);
}

static LS replaceOrDropCodeTokensUsingMap(LS tok, SS map) {
  LS out = emptyList(tok);
  for i over tok: {
    if (odd(i)) out.add(tok.get(i));
    else {
      S val = lookupOrKeep(map, tok.get(i));
      if (nempty(val))
        out.add(val);
      else {
        out.add(ai_mergeWhitespace(last(out), tok.get(i+1)));
        i++;
      }
    }
  }
  ret out;
}

sS replaceOrDropCodeTokensUsingMap(SS map, S s) {
  ret replaceOrDropCodeTokensUsingMap(s, map);
}