batchRun.sh is complete

Java support has been tested and is working.
It has not been tested on actual Java submissions/projects, so there
may be additional changes to come.