code: public void destroy()
      {
          if (_bufferedOut!=null)
              _bufferedOut.destroy();
          _bufferedOut=null;
          if (_iso8859writer!=null)
              _iso8859writer.destroy();
          _iso8859writer=null;
          if (_utf8writer!=null)
              _utf8writer.destroy();
          _utf8writer=null;
          if (_asciiwriter!=null)
              _asciiwriter.destroy();
          _asciiwriter=null;
      }
docs: /* ------------------------------------------------------------