Suppose Bandera is installed in C:\Bandera.
To copy the examples directory into C:\Tutorial,
open your Command Prompt or MS-DOS prompt window and type:
md C:\Tutorial xcopy /e C:\Bandera\tutorial C:\Tutorial
Now, invoke Bandera as follows:
C:\ cd Tutorial java Bandera