--- old/src/share/vm/runtime/os.hpp	2015-06-17 19:47:28.648522259 +0200
+++ new/src/share/vm/runtime/os.hpp	2015-06-17 19:47:28.488516838 +0200
@@ -28,6 +28,7 @@
 #include "jvmtifiles/jvmti.h"
 #include "runtime/extendedPC.hpp"
 #include "runtime/handles.hpp"
+#include "utilities/semaphore.hpp"
 #include "utilities/top.hpp"
 #ifdef TARGET_OS_FAMILY_linux
 # include "jvm_linux.h"