Unit Testing in Concurrent Java Applications - Prove Mutual Exclusion