We have installed a version of
the analysis framework in /usr/class/cs243/joeq.jar. If you add this file to your CLASSPATH variable (or set this variable to /usr/class/cs243/joeq.jar:. if it is currently undefined) you will be
able to run your programs on the elaine machines. A Makefile as well as a few
examples are stored in /usr/class/cs243/examples. The Makefile has the following targets:
all_java: Compiles all the .java files in the current directory. The
classpath for joeq is already set up. File.class: Compiles the file File.java. The Makefile
should work both on sun (elaines) and PC (firebird, raptor) machines.
Alternatively, you may copy and/or extract the jar file to your home machine to
work there. As the framework is written in Java, it should be fairly portable.
However, be sure to test any code you write on the elaines as well, just to be
safe.