Default JVM in Graal JDK renamed

[Doug Simon]

To better reflect the fact that the default JVM (defined in jvm.cfg) in the JDK used by Graal may not be the server VM, it is now named "original". That is, the following two executions are semantically equivalent:

jdk1.7.0*/product/bin/java -version
jdk1.7.0*/product/bin/java -original -version

To ensure the jvm.cfg file is updated correctly once you pull changeset cbfcb1054619[1], you need to remove the local copies of the JDK. If you are using 1.7, then this will do it:

rm -rf jdk1.7.0*

-Doug

[1] http://hg.openjdk.java.net/graal/graal/rev/cbfcb1054619