src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/StreamConfiguration.java
changeset 59327 2c3578aa0bdf
parent 58863 c16ac7a2eba4
--- a/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/StreamConfiguration.java	Fri Nov 29 15:37:13 2019 +0000
+++ b/src/jdk.jfr/share/classes/jdk/jfr/internal/consumer/StreamConfiguration.java	Fri Nov 29 17:31:01 2019 +0100
@@ -121,4 +121,8 @@
     public boolean hasChanged() {
         return changed;
     }
+
+    public void setChanged(boolean changed) {
+        this.changed = changed;
+    }
 }