# HG changeset patch # User mgronlun # Date 1568823329 -7200 # Node ID 354c7790c548d62f28675995e92f6e120a2d79de # Parent 412d8e77f9312ffbe02030f3a8b7a889d3e653bd represent diff -r 412d8e77f931 -r 354c7790c548 src/jdk.jfr/share/classes/jdk/jfr/consumer/EventStream.java --- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventStream.java Wed Sep 18 17:55:27 2019 +0200 +++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/EventStream.java Wed Sep 18 18:15:29 2019 +0200 @@ -51,8 +51,8 @@ * {@link #onEvent(Consumer)} method. To filter the stream for an event with a * specific name, use {@link #onEvent(String, Consumer)} method. *

- * By default, the same {@code RecordedEvent} object can be used for - * representing two or more distinct events. That object can be delivered + * By default, the same {@code RecordedEvent} object can be used to + * represent two or more distinct events. That object can be delivered * multiple times to the same action as well as to other actions. To use an * event object after the action is completed, the * {@link #setReuse(boolean)} method should be set to {@code false} so a