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.
On the Rice Computer Science department network, LAUNCH4J_HOME
should point to /home/javaplt/packages/launch4j
.