DVICORE_SCRIPT_BASE_DIR=$(cd $(dirname $0)/../ ; pwd)
DVICORE_LAUNCHER_JAR=dvibrowser.jar
DVICORE_DVICORE_JAR=lib/java/dvicore.jar
DVICORE_CMD_JAVA=java
