Merge branch 'master' into R4_HEAD

Conflicts:
	bundles/org.eclipse.platform.doc.isv/platformOptions.txt
	bundles/org.eclipse.platform.doc.isv/whatsNew/platform_isv_whatsnew.html
	bundles/org.eclipse.platform.doc.user/whatsNew/platform_whatsnew.html
tree: 58c357498ccd208123a1d9eb2e843e5d4b389fed
  1. bundles/
  2. .gitignore