K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-07-02T21:39:14.000000Z K 7 svn:log V 37 Sync with current: whitespace fixes. END