Merge remote-tracking branch 'upstream/master'

Conflicts:
	.gitignore
	files/jetty-default