lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static Player playMP3(File mp3) ctex {
  print("Playing mp3...");
  final Player player = new Player(new FileInputStream(mp3));
  thread "Playing MP3" {
    player.play();
    player.close();
  }
  ret player;
}