lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static Player playWAV(File f) ctex {
  print("Playing WAV...");
  final Player player = new Player(new FileInputStream(f));
  thread "Playing WAV" {
    player.play();
    player.close();
  }
  ret player;
}