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
.