Committer: Jan de Kruyf <jan@JanDell.kinderkamer>

 On branch master
 Changes to be committed:

	modified:   beren/beren-despatch-helpers.adb
	modified:   beren/beren-despatch.adb
	modified:   beren/beren-despatch.ads
	modified:   beren/beren-hw.adb
	modified:   beren/beren-hw.ads
	modified:   beren/beren-jog.adb
	modified:   earendil/earendil-client1.adb
	modified:   earendil/earendil-client1.ads
	modified:   earendil/earendil-name_server.adb
	modified:   earendil/vingilot.adb
	modified:   earendil/vingilot_helpers.adb
	modified:   earendil/vingilot_helpers.ads