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

Print this page

        

@@ -264,10 +264,11 @@
      *         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 {