src/Tools/GraphBrowser/graphbrowser/GraphBrowser.java

             Reader rd;
             BufferedReader br;
             String line, text = "";
 
             try {
-                rd = new BufferedReader(new InputStreamReader((new URL(fname)).openConnection().getInputStream()));
+                rd = new BufferedReader(new InputStreamReader((new URI(fname)).toURL().openConnection().getInputStream()));
             } catch (Exception exn) {
                 rd = new FileReader(path + fname);
             }
             br = new BufferedReader(rd);