--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventStream.java	Fri May 31 20:44:28 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventStream.java	Mon Jun 03 16:21:47 2019 +0200
@@ -163,7 +163,6 @@
      */
     public void setOrdered(boolean ordered);
 
-
     /**
      * Starts processing events in the stream.
      * <p>