configtool.py now receives 'java.home' property value from Java