merging Changes missing due to migration from git.eclipse.org to github#1

ktatavarthi wants to merge 3 commits into

eclipse-jdt:mastereclipse-jdt/jdt-website:masterfrom

ktatavarthi:masterktatavarthi/jdt-website:masterCopy head branch name to clipboard