note to self: Time to write a good interface and stop doing this secret
[jalview.git] / src / jalview / javascript / json / JSON.java
index dff4963..4642bd3 100644 (file)
@@ -35,7 +35,7 @@ public class JSON {
        }
 
        public static void setAjax(URL url) {
-               /** @j2sNative swingjs.JSUtil.setAjax$O(url) */;
+    /** @j2sNative swingjs.JSUtil.setAjax$java_net_URL(url); */
        }
 
        public static BufferedReader getJSONReader(InputStream is) {