X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=blobdiff_plain;f=src%2Fjalview%2Fjbgui%2FGDesktop.java;h=28e544e9ba96d781b4b869fbf8ae15c5c97eb175;hp=b301f6ebd3e3b27491b3e4d18d266580ee3c1e13;hb=26b115b0a77d521da92a06572d9b7819c2d0d49a;hpb=2ff87ed8f1a344303ed46c9fda7d11fd4d469dc7

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index b301f6e..28e544e 100755
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -21,7 +21,6 @@
 package jalview.jbgui;
 
 import jalview.api.AlignmentViewPanel;
-import jalview.bin.Jalview;
 import jalview.io.FileFormatException;
 import jalview.util.MessageManager;
 import jalview.util.Platform;
@@ -464,7 +463,7 @@ public class GDesktop extends JFrame
     FileMenu.addSeparator();
     FileMenu.add(saveAsJaxb);
     FileMenu.add(loadAsJaxb);
-    if (!Jalview.isJS()) 
+    if (!Platform.isJS()) 
     {
       FileMenu.add(saveState);
       FileMenu.add(loadState);
@@ -480,12 +479,12 @@ public class GDesktop extends JFrame
     VamsasMenu.add(vamsasSave);
     VamsasMenu.add(vamsasStop);
     toolsMenu.add(preferences);
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       toolsMenu.add(showMemusage);
       toolsMenu.add(showConsole);
     }
-    if (!Jalview.isJS())
+    if (!Platform.isJS())
     {
       toolsMenu.add(showNews);
       toolsMenu.add(garbageCollect);