lib 1001094 // JavaLayer 1.0.1

import javazoom.jl.player.*;

static void playWAVAndWait(File wav) ctex {
  print("Playing WAV...");
  if (eq(soundPlayMethod(), "aplay"))
    backtick("aplay " + bashQuote(wav));
  else {
    final Player player = new Player(new FileInputStream(wav));
    player.play();
    repeat with sleep 10 {
      if (player.isComplete()) break;
    }
    player.close();
  }
}