8075222: RandomAccessFile.getChannel changed to non-final in error
authorbpb
Mon, 16 Mar 2015 13:49:00 -0700
changeset 29494 13a73071b538
parent 29493 7ce6ea270c01
child 29501 4532db7f9956
8075222: RandomAccessFile.getChannel changed to non-final in error Summary: Reinstate 'final' RandomAccessFile.getChannel() declaration. Reviewed-by: alanb
jdk/src/java.base/share/classes/java/io/RandomAccessFile.java
--- a/jdk/src/java.base/share/classes/java/io/RandomAccessFile.java	Mon Mar 16 17:44:34 2015 +0100
+++ b/jdk/src/java.base/share/classes/java/io/RandomAccessFile.java	Mon Mar 16 13:49:00 2015 -0700
@@ -276,7 +276,7 @@
      * @since 1.4
      * @spec JSR-51
      */
-    public FileChannel getChannel() {
+    public final FileChannel getChannel() {
         FileChannel fc = this.channel;
         if (fc == null) {
             synchronized (this) {