--- a/src/hotspot/share/jfr/recorder/stringpool/jfrStringPool.hpp	Fri May 17 15:53:21 2019 +0200
+++ b/src/hotspot/share/jfr/recorder/stringpool/jfrStringPool.hpp	Fri May 17 16:02:27 2019 +0200
@@ -71,6 +71,7 @@
   static JfrStringPool* create(JfrChunkWriter& cw);
   bool initialize();
   static void destroy();
+  static bool modified();
 
   friend class JfrRecorder;
   friend class JfrRecorderService;