code: private static String readResourceLine(DocPath docPath, BufferedReader in) throws ResourceIOException {
          try {
              return in.readLine();
          } catch (IOException e) {
              throw new ResourceIOException(docPath, e);
          }
      }
docs: Reads a line of characters from an input stream opened from a given resource.
  If an IOException occurs, it is wrapped in a ResourceIOException.
  
  @param resource the resource for the stream
  @param in the stream
  @return the line of text, or {@code null} if at end of stream
  @throws ResourceIOException if an exception occurred while reading the stream