Merge branch 'master' of ssh://git.eclipse.org/gitroot/www.eclipse.org/ebr

Conflicts:
	index.php