--- old/src/hotspot/share/ci/ciReplay.cpp	2019-09-25 09:46:47.351919591 -0400
+++ new/src/hotspot/share/ci/ciReplay.cpp	2019-09-25 09:46:47.111919599 -0400
@@ -912,6 +912,8 @@
       JvmtiExport::set_can_hotswap_or_post_breakpoint(value);
     } else if (strcmp(field, "can_post_on_exceptions") == 0) {
       JvmtiExport::set_can_post_on_exceptions(value);
+    } else if (strcmp(field, "redefinition_count") == 0) {
+      JvmtiExport::set_redefinition_count(value);
     } else {
       report_error("Unrecognized JvmtiExport directive");
     }