--- old/src/share/classes/javax/sound/sampled/AudioFileFormat.java	2014-06-05 16:31:21.000000000 -0700
+++ new/src/share/classes/javax/sound/sampled/AudioFileFormat.java	2014-06-05 16:31:21.000000000 -0700
@@ -233,10 +233,11 @@
      * @see #getProperty(String)
      * @since 1.5
      */
+    @SuppressWarnings("unchecked") // Cast of result of clone
     public Map<String, Object> properties() {
         Map<String,Object> ret;
         if (properties == null) {
-            ret = new HashMap<String,Object>(0);
+            ret = new HashMap<>(0);
         } else {
             ret = (Map<String,Object>) (properties.clone());
         }