decomissioned quite a while ago, but this file was forgotten in that process) git-svn-id: trunk@13181 -