# HG changeset patch
# User bpb
# Date 1426538940 25200
# Node ID 13a73071b5386cd7d4cacf1305902a8cb3533581
# Parent  7ce6ea270c01eeda44332866102dad0e5577361d
8075222: RandomAccessFile.getChannel changed to non-final in error
Summary: Reinstate 'final' RandomAccessFile.getChannel() declaration.
Reviewed-by: alanb

diff -r 7ce6ea270c01 -r 13a73071b538 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) {