if ((b[0] & 0xff) == 'G') p = gif.fromInputStream(pbis, "some picture");
else if ((b[0] & 0xff) == 137) p = new PNG().fromInputStream(pbis, "some picture");
else if ((b[0] & 0xff) == 0xff) p = Platform.decodeJPEG(pbis, "some picture");
- else throw new JS.Exn("couldn't figure out image type from first byte");
+ else throw new JSExn("couldn't figure out image type from first byte");
p.res = r;
holder.picture = p;
Scheduler.add(callback);