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

Conflicts:
	examples/bank/index.html
	publications.html