/** Stop the currently playing sound file (if there is one playing). */ private void pause() { player.pause(); }