Thanks for sharing this. I hadn't heard of choreographic programming.

Does it compile straight Java bytecode, or does it generate Java code which is then compiled by javac?