--- old/src/hotspot/share/gc/shared/workerManager.hpp	2019-01-15 23:44:13.535170155 +0100
+++ new/src/hotspot/share/gc/shared/workerManager.hpp	2019-01-15 23:44:13.363169007 +0100
@@ -27,8 +27,8 @@
 
 #include "logging/log.hpp"
 #include "memory/allocation.hpp"
-#include "runtime/os.inline.hpp"
-#include "runtime/thread.inline.hpp"
+#include "runtime/os.hpp"
+#include "runtime/thread.hpp"
 #include "utilities/globalDefinitions.hpp"
 
 class WorkerManager : public AllStatic {