--- a/src/hotspot/share/jfr/recorder/checkpoint/types/jfrTypeManager.hpp	Sat Sep 21 12:31:40 2019 +0200
+++ b/src/hotspot/share/jfr/recorder/checkpoint/types/jfrTypeManager.hpp	Sat Sep 21 12:33:26 2019 +0200
@@ -32,6 +32,7 @@
 class JfrTypeManager : public AllStatic {
  public:
   static bool initialize();
+  static void destroy();
   static void clear();
   static void on_rotation();
   static void write_threads(JfrCheckpointWriter& writer);