src/share/classes/javax/sound/sampled/AudioFileFormat.java

*** 242,255 ****
       *         returned.
       *
       * @see #getProperty(String)
       * @since 1.5
       */
      public Map<String,Object> properties() {
          Map<String,Object> ret;
          if (properties == null) {
!             ret = new HashMap<String,Object>(0);
          } else {
              ret = (Map<String,Object>) (properties.clone());
          }
          return Collections.unmodifiableMap(ret);
      }
--- 242,256 ----
       *         returned.
       *
       * @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<>(0);
          } else {
              ret = (Map<String,Object>) (properties.clone());
          }
          return Collections.unmodifiableMap(ret);
      }