lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static void playWAVAndWait(File wav) ctex {
  print("Playing WAV...");
  final Player player = new Player(new FileInputStream(wav));
  player.play();
  player.close();
}