sS unquoteAllTokens(S s) {
  LS tok = javaTok(s);
  for (int i = 1; i < l(tok); i += 2)
    tok.set(i, unquote(tok.get(i)));
  ret join(tok);
}