JNI reque/relock futex bug example