Sources for Havlak Benchmark for several JVM Languages