{DORECOVER | fileNameConversionSpec | NOFILENAMECHECK} [ {DORECOVER | fileNameConversionSpec | NOFILENAMECHECK}]...