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