// System.out.println("Before serialization\n");
// System.out.println("Size of ordered index: " + ordSize);
// System.out.println("Size of set index: " + setSize);
// System.out.println("Size of bag index: " + bagSize);
CASCompleteSerializer cs;
cs = Serialization.serializeCASComplete(casMgr);
// casMgr = CASFactory.createCAS();
CASMgr realCasMgr = CASFactory.createCAS();
((CASImpl) realCasMgr).commitTypeSystem();
Serialization.deserializeCASComplete(cs, realCasMgr);