Prevent Mineshaft Structure Saving.

There is very little reason to keep track of Mineshafts as the only persistent behaviour within them is through the use of mob spawners, which are of course stored within the map itself. As such we can disable them from being saved, indefinitely, until there is reason to do so.

CraftBukkit-Patches/0076-Prevent-Mineshaft-Saving.patch

@@ -0,0 +1,22 @@
+From fafa2b8f9bc9e8f7b010903e245c3b26d220a678 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
+