K 10 svn:author V 3 des K 8 svn:date V 27 2009-06-08T19:52:12.440599Z K 7 svn:log V 40 merge r174221: remove unnecessary casts END