K 10 svn:author V 3 imp K 8 svn:date V 27 2009-11-24T14:57:50.182862Z K 7 svn:log V 45 Get rid of redundant .kernel in these names. END