static Map<String, String> parseJsonObject(String s) {
  List<String> tok = JsonTok.split(s);
  new (Tree)Map<String, String> map;
  for (int i = 1; i+4 < tok.size(); i += 2) {
    if (tok.get(i+2).equals(":"))
      map.put(unquote(tok.get(i)), unquote(tok.get(i+4)));
  }
  return map;
}