throws ClassNotFoundException, IOException {
int flags = in.readInt();
int nBytes = in.readInt();
_nHighlights = in.readInt();
if ((flags & TREE) > 0)
(_tree = new TocTree()).readExternal(in);
if ((flags & PATH) > 0)
_path = (int[]) in.readObject();
if (nBytes > 0)
in.readFully(_html = new byte[nBytes]);
}