sS tok_dropStuffInRoundBrackets(S s) {
  LS tok = javaTokWithBrackets(s);
  tok_dropStuffInRoundBrackets(tok);
  ret join(simpleSpaces2(tok));
}

static LS tok_dropStuffInRoundBrackets(LS tok) {
  for (int i = 1; i < l(tok); i += 2)
    if (isRoundBracketed(tok.get(i)))
      removeToken(tok, (i -= 2) + 2);
  ret tok;
}