JAL-3384 catch non-float version number of java

diff --git a/src/jalview/jbgui/GDesktop.java b/src/jalview/jbgui/GDesktop.java
index 0ef3f46..fc734d7 100755 (executable)
--- a/src/jalview/jbgui/GDesktop.java
+++ b/src/jalview/jbgui/GDesktop.java
@@ -361,7 +361,15 @@ public class GDesktop extends JFrame
       }
     });
 
-    Float specversion = Float.parseFloat(System.getProperty("java.specification.version"));
+    float specversion;
+    try
+    {
+      specversion = Float
+              .parseFloat(System.getProperty("java.specification.version"));
+    } catch (Exception e)
+    {
+      specversion = 8;
+    }
     
     desktopMenubar.add(FileMenu);
     desktopMenubar.add(toolsMenu);