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;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# Author: Makarius
wenzelm@27914
     4
#
wenzelm@27916
     5
# DESCRIPTION: invoke Java within the Isabelle environment
wenzelm@27914
     6
wenzelm@27914
     7
CLASSPATH="$(jvmpath "$CLASSPATH")"
wenzelm@41380
     8
wenzelm@41380
     9
JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
wenzelm@41380
    10
if "$JAVA_EXE" -server >/dev/null 2>/dev/null
wenzelm@41380
    11
then
wenzelm@41622
    12
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 -server "$@"
wenzelm@41380
    13
else
wenzelm@41622
    14
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 "$@"
wenzelm@41380
    15
fi
wenzelm@41380
    16