Code of the paper The Hacker's Guide to Javac by David Erni and Adrian Kuhn