docs: public Document read( URL url ) throws ParsingException {
          try {
              return read(url.openStream(), DEFAULT_INTROSPECT);
          } catch (IOException e) {
              throw new ParsingException(e.getMessage(), e, 0, 0);
          }
      }