diff -r 74a38c0b5054 -r aa7b1ea52413 src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java --- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Thu Aug 29 19:40:37 2019 +0200 +++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Fri Aug 30 20:39:38 2019 +0200 @@ -362,4 +362,9 @@ public void setEndTime(Instant endTime) { stream.setStartTime(endTime); } + + @Override + public void onError(Consumer action) { + stream.onError(action); + } }