docs: public static void writeJSONString(Map map, Writer out) throws IOException {
  		if(map == null){
  			out.write("null");
  			return;
  		}
  		
  		boolean first = true;
  		Iterator iter=map.entrySet().iterator();
  		
          out.write('{');
  		while(iter.hasNext()){
              if(first)
                  first = false;
              else
                  out.write(',');
  			Map.Entry entry=(Map.Entry)iter.next();
              out.write('\"');
              out.write(escape(String.valueOf(entry.getKey())));
              out.write('\"');
              out.write(':');
  			JSONValue.writeJSONString(entry.getValue(), out);
  		}
  		out.write('}');
  	}