default Array readArray(URL jsonUrl) throws IOException {
  return readArray(jsonUrl.openStream());
}

default Array readArray ( URL jsonUrl ) throws IOException { return readArray ( jsonUrl . openStream ( ) ) ; }
read an array from the content at the given url .
