Merge branch 'Jalview-JS/JAL-3253-applet' of https://source.jalview.org/git/jalview...

[jalview.git] / src / jalview / gui / AlignFrame.java

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 4d29919..597eb5b 100644 (file)
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -851,25 +851,23 @@ public class AlignFrame extends GAlignFrame
   private PropertyChangeListener addServiceListeners()
   {
     PropertyChangeListener serviceListener = new PropertyChangeListener()
-            {
-              @Override
-              public void propertyChange(PropertyChangeEvent evt)
-              {
-                {
-                  SwingUtilities.invokeLater(new Runnable()
-                  {
-
-                    @Override
-                    public void run()
-                    {
-                      System.err.println(
-                              "Rebuild WS Menu for service change");
-                      BuildWebServiceMenu();
-                    }
+    {
+      @Override
+      public void propertyChange(PropertyChangeEvent evt)
+      {
+        {
+          SwingUtilities.invokeLater(new Runnable()
+          {
 
-                  });
-                }
-              }
+            @Override
+            public void run()
+            {
+              System.err.println("Rebuild WS Menu for service change");
+              BuildWebServiceMenu();
+            }
+          });
+        }
+      }
     };
 
     Desktop.getInstance().addJalviewPropertyChangeListener("services",