path: root/drjava.sh

#!/bin/sh

"$JAVA_HOME/bin/java" -jar '/usr/share/java/drjava/drjava.jar'