Merge branch 'master' into R4_HEAD

Conflicts:
	bundles/org.eclipse.jdt.doc.isv/topics_Guide.xml
	bundles/org.eclipse.jdt.doc.user/build.properties
	bundles/org.eclipse.jdt.doc.user/reference/ref-properties-source-attachment.htm
	bundles/org.eclipse.platform.doc.isv/platformOptions.txt
tree: 28afe9a96d8fe6e114fa29d1fc48e4c29caa79a2
  1. bundles/
  2. .gitignore