Bandera is distributed in jar format. It should be installed
into a directory with the command: jar xvf bandera-x.y.jar, where
x.y is the version number. For example: jar xvf bandera-0.1.jar
The following descriptions assume that you will have unpacked the
distribution in a directory named BANDERA.
95/98/Me