digest=new Digest(); digest.readExternal(in);
boolean digest_not_null=in.readBoolean(); if(digest_not_null) { digest=new Digest(); digest.readExternal(in); }
        public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {            type=in.readInt();            digest=new Digest();            digest.readExternal(in);        }