Finding out which JVM you are using