Integrates any feature/* or bugfix/* branch by merging it with master and subsequently running all integration testing profiles.

This build job has been disabled by Eclipse webmaster on July 1st, 2020.

The build was constantly failing and spamming the mail account defined in the mail notification. Also, polling for changes every minute seems quite excessive. The polling schedule has been changed to "every 15 minutes".