src/share/classes/javax/sound/midi/MidiFileFormat.java

Print this page 

        
*** 264,273 ****
--- 264,274 ----
       *         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<String,Object>(0);
          } else {