Build #3070 (Nov 3, 2019 4:23:47 PM)

PR #2230: Update maven plugin depende...

	No changes.
	GitHub pull request #2230 of commit e499d10c3a84f394d8c43d1ab71912a33d0a856f, no merge conflicts.
	Test Result (no failures)

Configurations