--- a/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Fri Sep 27 12:58:01 2019 +0200
+++ b/src/jdk.jfr/share/classes/jdk/jfr/consumer/RecordingStream.java Fri Sep 27 13:00:53 2019 +0200
@@ -192,7 +192,7 @@
* Disables event with the specified name.
* <p>
* If multiple events with same name (for example, the same class is loaded
- * in different class loaders), then all events that match the name is
+ * in different class loaders), then all events that match the name are
* disabled. To disable a specific class, use the {@link #disable(Class)}
* method or a {@code String} representation of the event type ID.
*