Fix an improperly updated patch file

Spigot-Server-Patches/0012-Fix-redstone-lag-issues.patch

@@ -5,7 +5,7 @@ Subject: [PATCH] Fix redstone lag issues
 
 
 diff --git a/src/main/java/net/minecraft/server/WorldServer.java b/src/main/java/net/minecraft/server/WorldServer.java
-index ff9ac1b..de6ed7d 100644
+index ff9ac1b..86044ce 100644
 --- a/src/main/java/net/minecraft/server/WorldServer.java
 +++ b/src/main/java/net/minecraft/server/WorldServer.java
 @@ -591,6 +591,8 @@ public class WorldServer extends World implements IAsyncTaskHandler {
@@ -17,12 +17,15 @@ index ff9ac1b..de6ed7d 100644
                  if (i > 1000) {
                      // CraftBukkit start - If the server has too much to process over time, try to alleviate that
                      if (i > 20 * 1000) {
-@@ -599,7 +601,8 @@ public class WorldServer extends World implements IAsyncTaskHandler {
+@@ -599,7 +601,12 @@ public class WorldServer extends World implements IAsyncTaskHandler {
                          i = 1000;
                      }
                      // CraftBukkit end                    
--                }
 +                } */
++
++                if (i > 10000) {
++                    i = 10000;
+                 }
 +                // PaperSpigot end
  
                  this.methodProfiler.a("cleaning");