After everything has been set up, invoke java Bandera to run Bandera in UNIX.
For Windows 
, you can open your Command Prompt or MS-DOS Prompt window,
and invoke java Bandera.
Upon the first launch, Bandera will initialize itself. This involves in creating
.bandera directory which will reside in user's ``home directory''.
The table below describes the location of the home directory depending
on the operating system.
We assume that for Windows environment, the Windows is installed in
C:\. You should replace the (username) with the appropriate user login name.
In some variants of Windows 95/98, the .bandera directory location
is placed in C:\WINDOWS\ directory.
Inside the .bandera directory, we have a preferences file .banderarc,
an abstraction file Abstractions, and three directories integral,
real, and log.
The preferences file is meant to store user preferences, e.g. directory locations and colors. Later versions of the tool will add more functionality. We currently have no GUI to modify these values. You can hack the color values if you wish, but manually modifying the other entries of this file is highly discouraged.
The Abstractions file is used by Abstraction Manager to store user's
custom abstraction library. The directories integral and real are
used to categorize these files. However, this functionality is not
fully supported in the current version of Bandera.
The log subdirectory is used to store all log files upon Bandera's failure.
Please send all these logs along with their related files when you submit a bug report.
Whenever you need a spare disk space, you can safely delete these log files.
If you experience some problems in running Bandera, you can try to delete
.bandera directory and re-run Bandera. This is usually due to the
growing requirements for Bandera setup settings.
