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