--- old/src/java.base/share/classes/java/io/RandomAccessFile.java	2019-06-26 16:00:23.351796200 +0200
+++ new/src/java.base/share/classes/java/io/RandomAccessFile.java	2019-06-26 16:00:22.389373300 +0200
@@ -26,6 +26,7 @@
 package java.io;
 
 import java.nio.channels.FileChannel;
+import java.util.concurrent.atomic.AtomicBoolean;
 
 import jdk.internal.access.JavaIORandomAccessFileAccess;
 import jdk.internal.access.SharedSecrets;