Accessing JMeter Properties set as Command Line Options