Java data race doesn't segfault