Merge branch 'develop' into update_212_Dec_merge_with_21125_chamges

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

diff --git a/src/jalview/gui/WebserviceInfo.java b/src/jalview/gui/WebserviceInfo.java
index 7eabfab..4c572a2 100644 (file)
--- a/src/jalview/gui/WebserviceInfo.java
+++ b/src/jalview/gui/WebserviceInfo.java
@@ -23,6 +23,7 @@ package jalview.gui;
 import jalview.jbgui.GWebserviceInfo;
 import jalview.util.MessageManager;
 import jalview.util.Platform;
+import jalview.util.ChannelProperties;
 import jalview.ws.WSClientI;
 
 import java.awt.BorderLayout;