Index: src/jalview/util/Platform.java
===================================================================
diff -u -N -r6d0cffe0f723543ba4f812122ad14d468824c998 -r5a7925d778f2d253ebf7bd2fdb43d0c584bf2b61
--- src/jalview/util/Platform.java	(.../Platform.java)	(revision 6d0cffe0f723543ba4f812122ad14d468824c998)
+++ src/jalview/util/Platform.java	(.../Platform.java)	(revision 5a7925d778f2d253ebf7bd2fdb43d0c584bf2b61)
@@ -609,9 +609,9 @@
        * 
        * @j2sNative var a =
        *            decodeURI((document.location.href.replace("&","?").split("?j2s")[0]
-       *            + "?").split("?")[1].split("#")[0]); a && (System.out.println("URL arguments detected were "+a) &&
-       *            (J2S.thisApplet.__Info.urlargs = a.split(" ")) 
-       *            (!!J2S.thisApplet.__Info.args || J2S.thisApplet.__Info.args == "" || J2S.thisApplet.__Info.args == "??") && (J2S.thisApplet.__Info.args = a) && (System.out.println("URL arguments were passed to J2S main.");
+       *            + "?").split("?")[1].split("#")[0]); a && (System.out.println("URL arguments detected were "+a)) &&
+       *            (J2S.thisApplet.__Info.urlargs = a.split(" ")); 
+       *            (!!J2S.thisApplet.__Info.args || J2S.thisApplet.__Info.args == "" || J2S.thisApplet.__Info.args == "??") && (J2S.thisApplet.__Info.args = a) && (System.out.println("URL arguments were passed to J2S main."));
        */
     } catch (Throwable t)
     {