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;
}