- private String removeFilePrefix(String url) {
- if (url.startsWith("file:"))
- return url.substring("file:".length());
- else if (url.startsWith("reference:file:"))
- return url.substring("reference:file:".length());
- else
- return url;
- }
+ // private String removeFilePrefix(String url) {
+ // if (url.startsWith("file:"))
+ // return url.substring("file:".length());
+ // else if (url.startsWith("reference:file:"))
+ // return url.substring("reference:file:".length());
+ // else
+ // return url;
+ // }