code: public void whitespace(Writer out, String s) throws NullPointerException, InvalidXMLException, IOException {
  
          char[] ch = s.toCharArray();
          int length = ch.length;
          whitespace(out, ch, 0, length);
      }
docs: Writes the specified whitespace string.
  
  @param out the character stream to write to, not <code>null</code>.
  @param s   the character string to be written, not <code>null</code>.
  @throws NullPointerException if <code>out == null || s == null</code>.
  @throws InvalidXMLException  if the specified character string contains a character that is
  invalid as whitespace.
  @throws IOException          if an I/O error occurs.