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