Reproduce a Java 21 virtual threads deadlock scenario in TLA+ - View it on GitHub