static void playAudioInputStream_safe(AudioInputStream in, File tempWavFile) {
  S method = soundPlayMethod();
  if (eq(method, "JavaSound"))
    javaSound_playAudioInputStream(in);
  else {
    mkdirsFor(tempWavFile);
    try {
      saveAudioInputStreamToWAV(in, tempWavFile);
      playWAVAndWait(tempWavFile);
    } finally {
      tempWavFile.delete();
    }
  }
}