#!/bin/sh

# openjdk11 is required
. /etc/profile.d/10_openjdk11.sh

# default to gtk3, use antialiased fonts
exec "${JAVA_HOME}/bin/java" \
    -Djdk.gtk.version=3 \
    -Dawt.useSystemAAFontSettings=on \
    -Dswing.aatext=true \
    -jar "/usr/share/jedit/jedit.jar" -reuseview "$@"
