public void readFrom(DataInputStream in)
throws IOException, IllegalAccessException, InstantiationException {
view = (View) Util.readStreamable(View.class, in);
digest = (Digest) Util.readStreamable(Digest.class, in);
fail_reason = Util.readString(in);
}
