#!/bin/bash

# This must match the install directory.
INSTALL=/usr/local/introcs

jar=${INSTALL}/drjava.jar
java -jar ${jar}