Update to Minecraft 1.13-pre7

nms-patches/SecondaryWorldServer.patch

@@ -1,6 +1,6 @@
 --- a/net/minecraft/server/SecondaryWorldServer.java
 +++ b/net/minecraft/server/SecondaryWorldServer.java
-@@ -4,9 +4,12 @@
+@@ -6,9 +6,12 @@
  
      private final WorldServer a;
  
@@ -15,7 +15,7 @@
          worldserver.getWorldBorder().a(new IWorldBorderListener() {
              public void a(WorldBorder worldborder, double d0) {
                  SecondaryWorldServer.this.getWorldBorder().setSize(d0);
-@@ -36,9 +39,10 @@
+@@ -38,9 +41,10 @@
                  SecondaryWorldServer.this.getWorldBorder().setDamageBuffer(d0);
              }
          });
@@ -25,9 +25,9 @@
 -    protected void a() {}
 +    // protected void a() {} // CraftBukkit
  
-     public World b() {
-         this.worldMaps = this.a.Z();
-@@ -56,7 +60,7 @@
+     public GeneratorAccess b() {
+         this.worldMaps = this.a.s_();
+@@ -55,7 +59,7 @@
              this.villages.a((World) this);
          }
  
@@ -35,4 +35,4 @@
 +        return super.b(); // CraftBukkit
      }
  
-     public void c() {
+     public void t_() {