These tools were used by the original researcher.  The ByteCodeViewer.java
source is what the name implies, a Java byte code viewer application.

The test_tcas.java source was used by the researcher in conjunction with
the original tcas.java implementation which was modified by the SIR preparer
so as to eliminate the need for the test_tcas.java driver class.  If you wish
to use the original scripts created by this researcher you will need to
either replace the versions of tcas.java in the versions.alt/versions.orig/vN
directories with the files saved in originals/versions.orig directory tree.

