jdk/src/java.desktop/share/classes/javax/sound/midi/MidiDevice.java
changeset 40444 afabcfc2f3ef
parent 32871 f013b86386e6
child 47020 2c55106dc37b
--- a/jdk/src/java.desktop/share/classes/javax/sound/midi/MidiDevice.java	Fri Aug 12 14:35:56 2016 -0700
+++ b/jdk/src/java.desktop/share/classes/javax/sound/midi/MidiDevice.java	Mon Aug 15 20:08:55 2016 +0300
@@ -134,6 +134,7 @@
      * @see #open
      * @see #isOpen
      */
+    @Override
     void close();
 
     /**
@@ -252,22 +253,22 @@
         /**
          * The device's name.
          */
-        private String name;
+        private final String name;
 
         /**
          * The name of the company who provides the device.
          */
-        private String vendor;
+        private final String vendor;
 
         /**
          * A description of the device.
          */
-        private String description;
+        private final String description;
 
         /**
          * Device version.
          */
-        private String version;
+        private final String version;
 
         /**
          * Constructs a device info object.
@@ -294,6 +295,7 @@
          * @return {@code true} if this object is the same as the {@code obj}
          *         argument; {@code false} otherwise
          */
+        @Override
         public final boolean equals(Object obj) {
             return super.equals(obj);
         }
@@ -301,6 +303,7 @@
         /**
          * Finalizes the hashcode method.
          */
+        @Override
         public final int hashCode() {
             return super.hashCode();
         }
@@ -346,6 +349,7 @@
          *
          * @return a description of the info object
          */
+        @Override
         public final String toString() {
             return name;
         }