code: private static BufferedReader bufferInput( Reader reader )
      {
          BufferedReader in;
          if( reader instanceof BufferedReader )
          {
              in = (BufferedReader) reader;
          }
          else
          {
              in = new BufferedReader( reader );
          }
          return in;
      }
docs: Wraps the Reader in a BufferedReaderm unless it already is a BufferedReader.
  
  @param reader The Reader to check and possibly wrap.
  
  @return A BufferedReader.