Security: use https to fetch repo artifacts. See http://blog.ontoillogical.com/blog/2014/07/28/how-to-take-over-any-java-developer/
Merge pull request #15676 from benmccann/https-repos

Security: use https to fetch repo artifacts in examples