1047      * the file pointer.

  1047      * the file pointer.

  1048      *

  1048      *

  1049      * @param      s   a string of bytes to be written.

  1049      * @param      s   a string of bytes to be written.

  1050      * @exception  IOException  if an I/O error occurs.

  1050      * @exception  IOException  if an I/O error occurs.

  1051      */

  1051      */

  1052     public final void writeBytes(String s) throws IOException {

  1053     public final void writeBytes(String s) throws IOException {

  1053         int len = s.length();

  1054         int len = s.length();

  1054         byte[] b = new byte[len];

  1055         byte[] b = new byte[len];

  1055         s.getBytes(0, len, b, 0);

  1056         s.getBytes(0, len, b, 0);

  1056         writeBytes(b, 0, len);

  1057         writeBytes(b, 0, len);