K 10 svn:author V 3 des K 8 svn:date V 27 2009-06-09T15:09:10.580083Z K 7 svn:log V 123 merge r174111, r174112, r174335: style and warning fixes. The functional parts of these commits have already been merged. END