open fun setIncludeFilter(filter: File): Unit
The filename of a filter specifying which bugs are reported.