public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException { super.readExternal(in); int N = in.readInt(); for (int j = 0; j < N; j++) { Triple t = (Triple) in.readObject(); ((TripleImpl) t).setInstance(getObject()); store.put(t, false); } }