X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FAlignFrame.java;h=3336663c5cd51bd81fd9e072a62298e00642fd3d;hb=12dc7e70977962f00e584b39eda098897d51f432;hp=3d00450353f89230ee6eb15478ffd5011af82737;hpb=9a5c8af21bd813e0c62ffcd7e4c0c3e2c33b9947;p=jalview.git

diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java
index 3d00450..3336663 100644
--- a/src/jalview/gui/AlignFrame.java
+++ b/src/jalview/gui/AlignFrame.java
@@ -918,8 +918,8 @@ public class AlignFrame extends GAlignFrame
   }
 
   @Override
-  public void servicesChanged(WebServiceDiscoverer discoverer,
-          Collection<? extends WebServiceI> services)
+  public void operationsChanged(WebServiceDiscoverer discoverer,
+      List<Operation> list)
   {
     buildWebServicesMenu();
   }
@@ -4731,8 +4731,7 @@ public class AlignFrame extends GAlignFrame
     if (discoverer.hasServices())
     {
       var builder = new WebServicesMenuBuilder();
-      for (var service : discoverer.getServices())
-        builder.addAllOperations(service.getOperations());
+      builder.addAllOperations(discoverer.getOperations());
       builder.addSelectedHostChangeListener((name, op) -> {
         menu.removeAll();
         builder.buildMenu(menu, this);