8075222: RandomAccessFile.getChannel changed to non-final in error
Summary: Reinstate 'final' RandomAccessFile.getChannel() declaration.
Reviewed-by: alanb
--- 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) {