Jalview.isJS() --> Platform.isJS(), DBRefEntry[] --> List<DBRefEntry>
[jalview.git] / src / jalview / util / Platform.java
index 1f03f88..286ded1 100644 (file)
@@ -219,5 +219,6 @@ public class Platform
                  break;
          }
   }
+
    
 }