--- old/src/share/vm/runtime/os.hpp	2015-06-15 21:33:54.977152838 +0200
+++ new/src/share/vm/runtime/os.hpp	2015-06-15 21:33:54.841148270 +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"