*/
package jalview.jbgui;
+import jalview.bin.Cache;
import jalview.util.MessageManager;
import java.awt.BorderLayout;
wsMenuRefreshButs.add(resetWs, null);
wsMenuRefreshButs.add(progressBar, null);
myBorderlayout.setHgap(3);
- if (jalview.bin.Cache.getDefault("ENABLE_RSBS_EDITOR", false))
+ if (Cache.getDefault("ENABLE_RSBS_EDITOR", false))
{
JTabbedPane listPanels = new JTabbedPane();
listPanels.addTab("JABAWS Servers", wsListPanel);