Windows NT 4.0 or Windows 2000

Set the classpath as follows:

Right-click ``My Computer'' icon then choose ``Properties''. Open the ``Environment'' tab. In ``System Variables'' box, look for ``ClassPath'' variable. Highlight it. At the bottom of the dialog box, there is a ``Value'' input text box. Add the following text in front of the text box:

   C:\BANDERA;C:\JDK1.3\jre\lib\rt.jar;C:\JDK1.3\LIB\tools.jar;

If you do not have ClassPath variable in your system, you can add it by typing ClassPath in the ``Variable'' input text box at the bottom and type the above text in ``Value'' input text box. Please delete the last semicolon.

This assumes that you unpacked Bandera in C:\ and the JDK is installed in C:\JDK1.3. We also assume your familiarity of Windows operating system when installing Bandera. If you are not sure, please consult your system administrator.