removed file again after committing to the wrong repo
Authored by: grether 2010-01-13
Parent: [r9991]
Child: [r9993]
