Index: trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java	(revision 9143)
+++ trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java	(revision 9144)
@@ -120,5 +120,5 @@
      * start at the beginning of the stream
      * @param url The resource to play, which must be a WAV file or stream
-     * @throws Exception audio fault exception, e.g. can't open stream,  unhandleable audio format
+     * @throws Exception audio fault exception, e.g. can't open stream, unhandleable audio format
      */
     public static void play(URL url) throws Exception {
@@ -130,5 +130,5 @@
      * @param url The resource to play, which must be a WAV file or stream
      * @param seconds The number of seconds into the audio to start playing
-     * @throws Exception audio fault exception, e.g. can't open stream,  unhandleable audio format
+     * @throws Exception audio fault exception, e.g. can't open stream, unhandleable audio format
      */
     public static void play(URL url, double seconds) throws Exception {
Index: trunk/src/org/openstreetmap/josm/tools/AudioUtil.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/AudioUtil.java	(revision 9143)
+++ trunk/src/org/openstreetmap/josm/tools/AudioUtil.java	(revision 9144)
@@ -41,4 +41,7 @@
             return naturalLength / calibration;
         } catch (UnsupportedAudioFileException | IOException e) {
+            if (Main.isDebugEnabled()) {
+                Main.debug(e.getMessage());
+            }
             return 0.0;
         }