Executable Settings command (Settings menu)
Changes settings that PureCoverage uses for the currently selected program.
(C) Copyright IBM Corporation 1993, 2010.