--- a/runbootstrap.sh	Wed Jun 08 14:50:55 2011 +0200
+++ b/runbootstrap.sh	Wed Jun 08 17:01:16 2011 +0200
@@ -3,10 +3,6 @@
   echo "JDK7 is not defined."
   exit 1;
 fi
-if [ -z "${JDK7G}" ]; then
-  echo "JDK7G is not defined."
-  exit 1;
-fi
 if [ -z "${MAXINE}" ]; then
   echo "MAXINE is not defined. It must point to a maxine repository directory."
   exit 1;
@@ -15,5 +11,4 @@
   echo "GRAAL is not defined. It must point to a maxine repository directory."
   exit 1;
 fi
-${JDK7}/bin/java -client -d64 -graal -version
-${JDK7G}/bin/java -client -d64 -graal -version
+${JDK7}/bin/java -client -d64 -graal $* -version