if (url.startsWith("file:") && permitLocalFilesystem) return new File(url.substring(5));
if (url.startsWith("cab:")) return new CAB(stringToRes(url.substring(4)));
if (url.startsWith("data:")) return new ByteArray(Base64.decode(url.substring(5)));
+ if (url.startsWith("utf8:")) return new ByteArray(url.substring(5).getBytes());
throw new JS.Exn("invalid resource specifier " + url);
}