8485868788899091929394
case WorldObjects: world.worldobjects = new WorldObjects(filename,world); break; case Names: world.names = new NameVector(filename, world); break; }