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-index.adb
	modified:   beren/beren-index.ads
	modified:   beren/beren-jogobj.ads