X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Futil%2FPlatform.java;h=d32735b829edb381302621407bc96a2648edd4d7;hb=6200addf078b7f7ace90597dc056dafc7fc602c1;hp=99c82a48fed22ad2d58e98d9214dd98b0ea748e8;hpb=4b1c969e87feaefd4fb9c49ba3d6b828b3ce1a9c;p=jalview.git

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index 99c82a4..d32735b 100644
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -133,6 +133,7 @@ public class Platform
    /**
    *
    * @return true if we are running in non-interactive no UI mode
+   * based on System.getProperty("java.awt.headless")
    */
    public static boolean isHeadless()
    {
@@ -847,4 +848,22 @@ public class Platform
     return f.toString();
   }
 
+  private static float javaVersion;
+  
+  public static float getJavaVersion()
+  {
+    if (javaVersion == 0)
+    {
+      try
+      {
+        return javaVersion = Float.parseFloat(
+                System.getProperty("java.specification.version"));
+      } catch (Exception e)
+      {
+        javaVersion = 1.8f;
+      }
+    }
+    return javaVersion;
+  }
+
 }