docs: public static JSONArray copy(final JSONArray src) {
          final JSONArray dest = new JSONArray();
          final int len = src.length();
          for (int i = 0; i < len; ++i) {
              dest.put(src.opt(i));
          }
          return dest;
      }