Bandera is distributed along with the class files. So, you don't have to
recompile it. However, you could compile it by invoking Java compiler:
javac Bandera.java, after you have set the classpath as mentioned previously.
You should invoke the compiler in Bandera's installed directory if you want
to recompile it. Please note that recompiling is absolutely not recommended for
the current release.