An implementation of Ethereum for the JVM