+ /** the Builtin resource */
+ public static class Builtin extends Res {
+ public Builtin() { };
+ public String getDescriptiveName() { return "[builtin]"; }
+ public InputStream getInputStream(String path) throws IOException {
+ if (!path.equals("")) throw new IOException("the builtin resource has no subresources");
+ return Platform.getBuiltinInputStream();
+ }
+ }
+