#210 Fixes Ensembl fetch problem (really)

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index c400d83..b2bc3f4 100644 (file)
--- a/src/jalview/util/Platform.java
+++ b/src/jalview/util/Platform.java
@@ -418,6 +418,10 @@ public class Platform
    */
   public static void readInfoProperties(String prefix, Properties p)
   {
+    if (!isJS())
+    {
+      return;
+    }
     @SuppressWarnings("unused")
     ThreadGroup g = Thread.currentThread().getThreadGroup();
     String id = getUniqueAppletID();
@@ -452,7 +456,7 @@ public class Platform
   {
     if (isJS())
     {
-      return JSON.getJSONReader(response);
+      return JSON.parse(response);
     }
 
     BufferedReader br = null;