Integrates patch from Patrick reported on dev mailing-list with subject ' provisioning parameter'.
Quotes the value of JAVA_HOME in run.exe's Makefile.