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

*** 98,123 ****
  public class AudioFileFormat {
  
      /**
       * File type.
       */
!     private Type type;
  
      /**
       * File length in bytes.
       */
!     private int byteLength;
  
      /**
       * Format of the audio data contained in the file.
       */
!     private AudioFormat format;
  
      /**
       * Audio data length in sample frames.
       */
!     private int frameLength;
  
      /**
       * The set of properties.
       */
      private HashMap<String, Object> properties;
--- 98,123 ----
  public class AudioFileFormat {
  
      /**
       * File type.
       */
!     private final Type type;
  
      /**
       * File length in bytes.
       */
!     private final int byteLength;
  
      /**
       * Format of the audio data contained in the file.
       */
!     private final AudioFormat format;
  
      /**
       * Audio data length in sample frames.
       */
!     private final int frameLength;
  
      /**
       * The set of properties.
       */
      private HashMap<String, Object> properties;
*** 174,184 ****
       * @since 1.5
       */
      public AudioFileFormat(Type type, AudioFormat format,
                             int frameLength, Map<String, Object> properties) {
          this(type,AudioSystem.NOT_SPECIFIED,format,frameLength);
!         this.properties = new HashMap<String, Object>(properties);
      }
  
      /**
       * Obtains the audio file type, such as {@code WAVE} or {@code AU}.
       *
--- 174,184 ----
       * @since 1.5
       */
      public AudioFileFormat(Type type, AudioFormat format,
                             int frameLength, Map<String, Object> properties) {
          this(type,AudioSystem.NOT_SPECIFIED,format,frameLength);
!         this.properties = new HashMap<>(properties);
      }
  
      /**
       * Obtains the audio file type, such as {@code WAVE} or {@code AU}.
       *