update spikes/mungo from JAL-3076 patch branch

[jalview.git] / src / jalview / ws / jws2 / dm / JabaOption.java

diff --git a/src/jalview/ws/jws2/dm/JabaOption.java b/src/jalview/ws/jws2/dm/JabaOption.java
index f1f5014..cbfbd3b 100644 (file)
--- a/src/jalview/ws/jws2/dm/JabaOption.java
+++ b/src/jalview/ws/jws2/dm/JabaOption.java
@@ -117,10 +117,4 @@ public class JabaOption implements jalview.ws.params.OptionI
     return opt;
   }
 
-  @Override
-  public List<String> getDisplayNames()
-  {
-    return null; // not supported for Jaba options
-  }
-
 }