java/io/PrintStream.java

69     private BufferedWriter textOut;
105         this.textOut = new BufferedWriter(charOut);
112         this.textOut = new BufferedWriter(charOut);
359                     textOut.close();
365                 textOut = null;
503                 textOut.write(buf);
504                 textOut.flushBuffer();
525                 textOut.write(s);
526                 textOut.flushBuffer();
544                 textOut.newLine();
545                 textOut.flushBuffer();