@Internal open fun getIncludeFilter(): File
The filename of a filter specifying which bugs are reported.