highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {
highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {
highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {
highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {
highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {
highestmodseq = r.readLong(); r.reset(); return; } else if (!r.isUnTagged()) {