From e668a30b0da6adabfa3d07b84f65be46787cf907 Mon Sep 17 00:00:00 2001
From: md_5 <git@md-5.net>
Date: Fri, 13 Dec 2013 15:21:02 +1100
Subject: [PATCH] Prevent Mineshaft Saving


diff --git a/src/main/java/net/minecraft/server/StructureGenerator.java b/src/main/java/net/minecraft/server/StructureGenerator.java
index b3c8101..2a6a571 100644
--- a/src/main/java/net/minecraft/server/StructureGenerator.java
+++ b/src/main/java/net/minecraft/server/StructureGenerator.java
@@ -179,7 +179,7 @@ public abstract class StructureGenerator extends WorldGenBase {
     private void a(World world) {
         if (this.e == null) {
             // Spigot Start
-            if ( world.spigotConfig.saveStructureInfo )
+            if ( world.spigotConfig.saveStructureInfo && !this.a().equals( "Mineshaft" ) )
             {
             this.e = (PersistentStructure) world.a(PersistentStructure.class, this.a());
             } else
-- 
1.8.3.2