From 2b38dcf01ebc4ac100d99fee946a14c4b18f4693 Mon Sep 17 00:00:00 2001
From: hansonr <hansonr@STO24954W.ad.stolaf.edu>
Date: Tue, 2 Apr 2019 12:09:01 -0500
Subject: [PATCH] #210 Fixes Ensembl fetch problem (really)

---
 src/jalview/util/Platform.java |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/jalview/util/Platform.java b/src/jalview/util/Platform.java
index c400d83..b2bc3f4 100644
--- 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;
-- 
1.7.10.2