This commit was manufactured by cvs2svn to create branch
'unlabeled-1.4.2'.

svn path=; revision=9366
Join ralf_grosse_kunstleve with HEAD

svn path=; revision=9444
Removed old branches.

svn path=; revision=38550