craftbukkit/nms-patches/net/minecraft/server/gui/ServerGUI.patch

--- a/net/minecraft/server/gui/ServerGUI.java
+++ b/net/minecraft/server/gui/ServerGUI.java
@@ -96,7 +96,7 @@
     private JComponent buildInfoPanel() {
         JPanel jpanel = new JPanel(new BorderLayout());
         GuiStatsComponent guistatscomponent = new GuiStatsComponent(this.server);
-        Collection collection = this.finalizers;
+        Collection<Runnable> collection = this.finalizers; // CraftBukkit - decompile error
 
         Objects.requireNonNull(guistatscomponent);
         collection.add(guistatscomponent::close);
@@ -132,7 +132,7 @@
 
             jtextfield.setText("");
         });
-        jtextarea.addFocusListener(new FocusAdapter(this) {
+        jtextarea.addFocusListener(new FocusAdapter() { // CraftBukkit - decompile error
             public void focusGained(FocusEvent focusevent) {}
         });
         jpanel.add(jscrollpane, "Center");
@@ -166,6 +166,7 @@
         this.finalizers.forEach(Runnable::run);
     }
 
+    private static final java.util.regex.Pattern ANSI = java.util.regex.Pattern.compile("\\x1B\\[([0-9]{1,2}(;[0-9]{1,2})*)?[m|K]"); // CraftBukkit
     public void print(JTextArea jtextarea, JScrollPane jscrollpane, String s) {
         if (!SwingUtilities.isEventDispatchThread()) {
             SwingUtilities.invokeLater(() -> {
@@ -181,7 +182,7 @@
             }
 
             try {
-                document.insertString(document.getLength(), s, (AttributeSet) null);
+                document.insertString(document.getLength(), ANSI.matcher(s).replaceAll(""), (AttributeSet) null); // CraftBukkit
             } catch (BadLocationException badlocationexception) {
                 ;
             }