#431 (Jul 5, 2021, 6:14:31 AM)

	Changes Bug 573980: [17][quick fix] Provide quick fix to declare sealed (details) Remove unused API filters (details)
	Started by an SCM change
	This run spent: 30 sec waiting; 11 min build duration; 12 min total from scheduled to completion.
	Revision: b08ac34bc63965d9261384918f7c04b7cb09cd73 Repository: git://git.eclipse.org/gitroot/jdt/eclipse.jdt.ui refs/remotes/origin/master
	SpotBugs: 725 warnings (from 17 analyses) Reference build: eclipse.jdt.ui-SpotBugs #430
	Maven: 26 warnings Fixed issues: 2 Reference build: eclipse.jdt.ui-SpotBugs #430