lib/Tools/java
author wenzelm
Fri Jan 21 19:01:40 2011 +0100 (2011-01-21)
changeset 41622 ad5474a8374b
parent 41380 92237dee0f29
child 43521 d477b92109b8
permissions -rwxr-xr-x
java/scala: default to UTF-8;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # DESCRIPTION: invoke Java within the Isabelle environment
     6 
     7 CLASSPATH="$(jvmpath "$CLASSPATH")"
     8 
     9 JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
    10 if "$JAVA_EXE" -server >/dev/null 2>/dev/null
    11 then
    12   exec "$JAVA_EXE" -Dfile.encoding=UTF-8 -server "$@"
    13 else
    14   exec "$JAVA_EXE" -Dfile.encoding=UTF-8 "$@"
    15 fi
    16