public void encode(OutputStream os) throws IOException, GSSException {
  gssHeader=new GSSHeader(OID,getKrb5TokenSize());
  gssHeader.encode(os);
  tokenHeader.encode(os);
  os.write(encSeqNumber);
  os.write(checksum);
}

public void encode ( OutputStream os ) throws IOException , GSSException { gssHeader = new GSSHeader ( OID , getKrb5TokenSize ( ) ) ; gssHeader . encode ( os ) ; tokenHeader . encode ( os ) ; os . write ( encSeqNumber ) ; os . write ( checksum ) ; }
encodes a gssheader and this token onto an outputstream .
