default Document read(URL jsonUrl) throws IOException {
  return read(jsonUrl.openStream());
}

default Document read ( URL jsonUrl ) throws IOException { return read ( jsonUrl . openStream ( ) ) ; }
read a document from the content at the given url .
