https://123dok.org/document/lzgrl52q-a-technique-for-detecting-wait-notify-deadlocks-java.html