reverted file after committing to the wrong repo
Authored by: grether 2010-01-13
Parent: [r9992]
Child: [r9994]
