--- old/src/hotspot/share/runtime/synchronizer.cpp	2018-03-22 17:04:16.532830011 +0100
+++ new/src/hotspot/share/runtime/synchronizer.cpp	2018-03-22 17:04:16.332830018 +0100
@@ -39,6 +39,7 @@
 #include "runtime/objectMonitor.hpp"
 #include "runtime/objectMonitor.inline.hpp"
 #include "runtime/osThread.hpp"
+#include "runtime/safepointVerifiers.hpp"
 #include "runtime/sharedRuntime.hpp"
 #include "runtime/stubRoutines.hpp"
 #include "runtime/synchronizer.hpp"