DumpCaserecorder default argument changed to 'stdout'.
Merge pull request #1278 from setowns1/bug

DumpCaserecorder default argument changed to 'stdout'.