jmeter.properties に jmeter.save.saveservice.output_format=csv という風に設定しても xml で出力されるよなあ，と思ったら，出力の "Configure" ダイアログに "Save as XML" というチェックがあるじゃないか... しばらくはまってました...JMeter の再起…