code: public static void pipe(Reader reader, Writer writer, int buffersize) throws IOException {
          char[] buffer = new char[buffersize];
          while (reader.read(buffer) != -1) {
              writer.write(buffer);
          }
      }
docs: *
  Writes all lines read from the reader.
  @param reader the source reader
  @param writer the destination writer
  @param buffersize size of the buffer to use
  @throws IOException