Merge branch 'master' (gcc-4.6, commit '1b50dcf') into gcc-4.5

Conflicts:
	source/a-tags.adb