/**
  * Mark the present position in the stream.
  *
  * @exception IOException If an I/O error occurs
  */
 public void mark(int readAheadLimit) throws IOException {
   ensureOpen();
   if (in.markSupported()) {
     in.mark(readAheadLimit);
   } else {
     throw new IOException(
         /* #ifdef VERBOSE_EXCEPTIONS */
         /// skipped                       "mark() not supported"
         /* #endif */
         );
   }
 }
 /** Tell whether this stream supports the mark() operation. */
 public boolean markSupported() {
   if (in == null) {
     return false;
   }
   return in.markSupported();
 }
 /**
  * Tell whether this stream is ready to be read.
  *
  * @exception IOException If an I/O error occurs
  */
 public boolean ready() throws IOException {
   ensureOpen();
   return in.ready();
 }
 /**
  * Skip characters.
  *
  * @exception IOException If an I/O error occurs
  */
 public long skip(long n) throws IOException {
   ensureOpen();
   return in.skip(n);
 }
 /**
  * Read characters into a portion of an array.
  *
  * @exception IOException If an I/O error occurs
  */
 public int read(char cbuf[], int off, int len) throws IOException {
   ensureOpen();
   if ((off < 0)
       || (off > cbuf.length)
       || (len < 0)
       || ((off + len) > cbuf.length)
       || ((off + len) < 0)) {
     throw new IndexOutOfBoundsException();
   } else if (len == 0) {
     return 0;
   }
   return in.read(cbuf, off, len);
 }
 /**
  * Read a single character.
  *
  * @exception IOException If an I/O error occurs
  */
 public int read() throws IOException {
   ensureOpen();
   return in.read();
 }
 /**
  * Close the stream.
  *
  * @exception IOException If an I/O error occurs
  */
 public void close() throws IOException {
   if (in != null) {
     in.close();
     in = null;
   }
 }
 /**
  * Reset the stream.
  *
  * @exception IOException If an I/O error occurs
  */
 public void reset() throws IOException {
   ensureOpen();
   in.reset();
 }