Index: trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java	(revision 12412)
+++ trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java	(revision 12413)
@@ -60,5 +60,5 @@
      * Property to determines if the auto filter feature is enabled.
      */
-    public static final BooleanProperty PROP_AUTO_FILTER_ENABLED = new BooleanProperty("auto.filter.enabled", Boolean.TRUE);
+    public static final BooleanProperty PROP_AUTO_FILTER_ENABLED = new BooleanProperty("auto.filter.enabled", true);
 
     /**
Index: trunk/src/org/openstreetmap/josm/io/audio/JavaFxMediaPlayer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/audio/JavaFxMediaPlayer.java	(revision 12412)
+++ trunk/src/org/openstreetmap/josm/io/audio/JavaFxMediaPlayer.java	(revision 12413)
@@ -36,5 +36,4 @@
 
     private URL url;
-    private Media media;
     private MediaPlayer mediaPlayer;
 
@@ -69,6 +68,5 @@
                     throw new FileNotFoundException(url.toString());
                 }
-                media = new Media(url.toString());
-                mediaPlayer = new MediaPlayer(media);
+                mediaPlayer = new MediaPlayer(new Media(url.toString()));
                 mediaPlayer.setOnPlaying(() -> {
                     listeners.fireEvent(l -> l.playing(url));
Index: trunk/src/org/openstreetmap/josm/io/audio/JavaSoundPlayer.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/audio/JavaSoundPlayer.java	(revision 12412)
+++ trunk/src/org/openstreetmap/josm/io/audio/JavaSoundPlayer.java	(revision 12413)
@@ -32,5 +32,4 @@
     private AudioInputStream audioInputStream;
     private SourceDataLine audioOutputLine;
-    private AudioFormat audioFormat;
 
     private final double leadIn; // seconds
@@ -67,5 +66,5 @@
                 throw new AudioException(e);
             }
-            audioFormat = audioInputStream.getFormat();
+            AudioFormat audioFormat = audioInputStream.getFormat();
             long nBytesRead;
             position = 0.0;