Update build to Tycho 2.5.0
Update build to Tycho 2.5.0

No functional impact but in general it is nice to use the latest
released version.
buchen/portfolio,sebasbaumh/portfolio,sebasbaumh/portfolio,buchen/portfolio,sebasbaumh/portfolio,buchen/portfolio,buchen/portfolio,sebasbaumh/portfolio