code: public void whitespace(Writer out, char[] ch, int start, int length) throws NullPointerException, IndexOutOfBoundsException, InvalidXMLException, IOException {
  
          // Check the string
          XMLChecker.checkS(ch, start, length);
  
          // Write the complete character string at once
          out.write(ch, start, length);
      }
docs: Writes whitespace from the specified character array.
  
  @param out    the character stream to write to, not <code>null</code>.
  @param ch     the character array from which to retrieve the text to be written,
  not <code>null</code>.
  @param start  the start index into <code>ch</code>, must be &gt;= 0.
  @param length the number of characters to take from <code>ch</code>, starting at
  the <code>start</code> index.
  @throws NullPointerException      if <code>out == null || ch == null</code>.
  @throws IndexOutOfBoundsException if <code>start &lt; 0
  || start + length &gt; ch.length</code>; this may not be
  checked before the character stream is written to, so this may
  cause a <em>partial</em> failure.
  @throws InvalidXMLException       if the specified character array contains a character that is invalid
  as whitespace.
  @throws IOException               if an I/O error occurs.