fixed that jacked up jmeter::server class