code: public void println(String s) throws IOException 
      {
           if (s!=null) write(s.getBytes());     
           write(IO.CRLF_BYTES);
      }
docs: /* ------------------------------------------------------------