docs: private static String reader2String(final Reader reader) throws IOException {
  
          final StringBuilder stringBuilder = new StringBuilder();
  
          try (BufferedReader bufferedReader = new BufferedReader(reader)) {
              String line = null;
              while ((line = bufferedReader.readLine()) != null) {
                  stringBuilder.append(line);
                  stringBuilder.append("\n"); // I know, if the original data
                                              // stream has no ending line feed,
                                              // this will add one...
              }
          }
          return stringBuilder.toString();
      }