import javafx.scene.media.*;

static MediaPlayer javaFXPlayAudio_player;

svoid javaFXPlayAudio(File f) {
  if (javaFXPlayAudio_player != null)
    javaFXPlayAudio_player.stop();
  else
    javaFXPlayAudio_player = new MediaPlayer(new Media(fileToURI(f)));
  javaFXPlayAudio_player.play();
}