1.1 --- a/lib/scripts/getsettings	Sat Aug 16 13:31:56 2008 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Aug 16 13:31:57 2008 +0200
     1.3 @@ -44,18 +44,13 @@
     1.4    echo "$RESULT"
     1.5  }
     1.6  
     1.7 -#JVM path wrappers
     1.8 +#JVM path wrapper
     1.9  if [ "$OSTYPE" = cygwin ]; then
    1.10    CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
    1.11    function jvmpath() { cygpath -w -p "$@"; }
    1.12 -  function javawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" java "$@"; }
    1.13 -  function scalawrapper() { env CLASSPATH="$(jvmpath "$CLASSPATH")" scala "$@"; }
    1.14  else
    1.15    function jvmpath() { echo "$@"; }
    1.16 -  function javawrapper() { java "$@"; }
    1.17 -  function scalawrapper() { scala "$@"; }
    1.18  fi
    1.19 -ISABELLE_HOME_JVM="$(jvmpath "$ISABELLE_HOME")"
    1.20  
    1.21  #CLASSPATH convenience
    1.22  function classpath () {
    1.23 @@ -87,6 +82,10 @@
    1.24  
    1.25  ISABELLE_OUTPUT="$ISABELLE_OUTPUT/$ML_IDENTIFIER"
    1.26  
    1.27 +#JVM settings
    1.28 +ISABELLE_HOME_JVM="$(jvmpath "$ISABELLE_HOME")"
    1.29 +ISABELLE_HOME_USER_JVM="$(jvmpath "$ISABELLE_HOME_USER")"
    1.30 +
    1.31  set +o allexport
    1.32  
    1.33  fi