This extension features one additional builder, the CoverageBuilder.
To use this builder, activate the coverage extension in your configuration file and give -b coverage on the command line.
Several new configuration values can be used to specify what the builder should check:
