You should store dexter.jar and gnu-getopts.jar in the location of
your choice and then edit the batch file so that it is pointing to the
correct locations. It's a very small batch file.
The batch file itself will need to be somewhere on your path.
To check if it is installed correctly, you should be able to run
dexter.bat --help
and see a list of all the options.
- michael dykman