Fix synchronized wait until notified or aborted
Implement protected (at the outset)
Merge branch 'master' (gcc-4.7, commit '9b75ed8') into gcc-4.6

Conflicts:
	examples/makefile