K 10 svn:author V 3 hrs K 8 svn:date V 27 2001-10-30T15:09:52.000000Z K 7 svn:log V 51 Backout a wrong workaround in the previous commit. END