I know that the launcher should be specified on the command line. I set it explicitly in here because the batch file doesn't work yet. Once it works, any varying parameters could be supplied but it is extra work and introduces avenues for mistakes. That is why everything is hard coded at first.