if (url.getProtocol().equals("file")) url = makeURLFromFilespec(url.getFile(), relativePrefix); url = makeURLFromFilespec(urlspec, relativePrefix);
if (url.getProtocol().equals("file")) url = makeURLFromFilespec(url.getFile(), relativePrefix); url = makeURLFromFilespec(urlspec, relativePrefix);