Default Settings command (Settings menu)
Changes settings that PureCoverage uses for all runs of all programs, unless overridden by executable-specific settings.
(C) Copyright IBM Corporation 1993, 2010.