fix for JMeterProperties