docs: public JSONArray names() {
  
          JSONArray ja = new JSONArray();
          Iterator<String> keys = keys();
          while (keys.hasNext()) {
              ja.put(keys.next());
          }
          return ja.length() == 0 ? null : ja;
      }