lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static Player playMP3(File mp3) ctex {
  ret playMP3(new FileInputStream(mp3));
}

static Player playMP3(InputStream in) ctex {
  print("Playing audio...");
  final Player player = new Player(in);
  thread "Playing MP3" {
    player.play();
    player.close();
  }
  ret player;
}