#!/bin/sh
# Java heap size, in megabytes
JAVA_HEAP_SIZE=128
DEFAULT_JAVA_HOME="/var/local/jdk1.6.0_02/jre"
if [ "$JAVA_HOME" = "" ]; then
JAVA_HOME="$DEFAULT_JAVA_HOME"
fi
exec "$JAVA_HOME/bin/java" -server -mx${JAVA_HEAP_SIZE}m ${JEDIT} -classpath "/var/local/jedit4.3pre8/jedit.jar" org.gjt.sp.jedit.jEdit $@
