craftbukkit/src/main/java/net/minecraft/server/SecondaryWorldServer.java

package net.minecraft.server;

import org.bukkit.generator.ChunkGenerator; // CraftBukkit

public class SecondaryWorldServer extends WorldServer {
    // CraftBukkit start
    public SecondaryWorldServer(MinecraftServer minecraftserver, IDataManager idatamanager, String s, int i, WorldSettings worldsettings, WorldServer worldserver, org.bukkit.World.Environment env, ChunkGenerator gen) {
        super(minecraftserver, idatamanager, s, i, worldsettings, env, gen);
        // CraftBukkit end
        this.worldMaps = worldserver.worldMaps;
    }
}