--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventFileStream.java	Fri May 31 20:44:28 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventFileStream.java	Mon Jun 03 16:21:47 2019 +0200
@@ -125,6 +125,11 @@
         public void setOrdered(boolean ordered) {
             this.ordered = ordered;
         }
+
+        @Override
+        public void close() {
+
+        }
     }
 
     private final RecordingInput input;