Per Effective Java, JVM should use a type safe pattern as opposed to int
constants. We should also make JVM extensible a la HTML.Tag to allow users to
define their own JVM constants. That would be important if the user wanted to
ensure that version x.y was available as JVM is currently very coarse grain.