path: root/editors/drjava/files/drjava.in

#!/bin/sh

exec "%%LOCALBASE%%/bin/java" -jar %%DATADIR%%/%%DRJAVAJAR%% "$@"