Thread: Deterministic execution of Java Threads, tool support
What do you get when you add one to four?