# Errors and warnings associated to the whole source.
	var messages = new Array[Message]