adding proof JVM is awesome