jdk/src/share/classes/javax/sound/midi/MidiFileFormat.java
changeset 25131 49006bd0e69d
parent 22584 eed64ee05369
child 26003 d630c97424bd
equal deleted inserted replaced
25130:adfaa02ea516 25131:49006bd0e69d
   264      *         returned.
   264      *         returned.
   265      *
   265      *
   266      * @see #getProperty(String)
   266      * @see #getProperty(String)
   267      * @since 1.5
   267      * @since 1.5
   268      */
   268      */
       
   269     @SuppressWarnings("unchecked") // Cast of result of clone
   269     public Map<String,Object> properties() {
   270     public Map<String,Object> properties() {
   270         Map<String,Object> ret;
   271         Map<String,Object> ret;
   271         if (properties == null) {
   272         if (properties == null) {
   272             ret = new HashMap<String,Object>(0);
   273             ret = new HashMap<String,Object>(0);
   273         } else {
   274         } else {