public static String originHost = null;
public static String origin = null;
- public static final Res builtin = new Res.Zip(new Res() {
- public InputStream getInputStream(String path) { return Platform.getBuiltinInputStream(); } });
+ public static final Res builtin = new Res.Builtin();
public static Picture scarImage = null;
public static void printUsage() {