some changes have been disappeared in the last commit - probably because of a eclipse crash
Authored by: grether 2014-03-07
Parent: [r28212]
Child: [r28214]