Launch4J

Launch4J is an open-source tool for distributing Java applications as Windows .exe programs. It is used to create a drjava.exe file when new releases of the application are published. Because it is implemented using platform-specific libraries, developers wishing to create releases must install it separately and set it up for the Ant script by defining the LAUNCH4J_HOME environment variable.

Rice Java PLT

On the Rice Computer Science department network, LAUNCH4J_HOME should point to /home/javaplt/packages/launch4j.