Merge pull request #1 from DanielGibbsNZ/master

Various improvments.
Minor tweak to get better debugging output.
Attempting to figure out why WhileyWeb is not working ...
Merge branch 'master' of github.com:DavePearce/WhileyWeb
Ok, fixed the problem.  For some reason, the location of Java keeps moving around on the server!!