Merging Changes from development-github

	- Fix missing restlet repositories
	- Fix unknown jdk 'openjdk8'
	- Fix travis build logo link
Merging commit amends