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

@@ -178,11 +178,11 @@
      */
     public MidiFileFormat(int type, float divisionType,
                           int resolution, int bytes,
                           long microseconds, Map<String, Object> properties) {
         this(type, divisionType, resolution, bytes, microseconds);
-        this.properties = new HashMap<String, Object>(properties);
+        this.properties = new HashMap<>(properties);
     }
 
     /**
      * Obtains the MIDI file type.
      *

@@ -255,11 +255,11 @@
      */
     @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());
         }
         return Collections.unmodifiableMap(ret);
     }