lib 1009238 lib 1009239 lib 1009240 // EasyOgg import org.newdawn.easyogg.*; static OggClip playOgg(File ogg) ctex { ret playOgg(newFileInputStream(ogg)); } static OggClip playOgg(InputStream in) ctex { final OggClip ogg = new OggClip(in); ogg.play(); thread "Ogg Player" { while (licensed() && !ogg.stopped()) sleep(1); ogg.close(); } ret ogg; }