End of this branch. This file will be merged in MAIN branch.
Authored by: rgf 2005-07-09
Parent: [r375]
Child: [r377]
