A Programming Language for JVM