lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static void playMp3(File mp3) ctex {
  FileInputStream fis = new FileInputStream(mp3);
  Player player = new Player(fis);
  player.play();
  player.close();
  fis.close();
}