K 10 svn:author V 3 phk K 8 svn:date V 27 2002-09-28T17:46:30.000000Z K 7 svn:log V 117 Remove unused includes. Clarify the intention of a while(); Move a local variable to avoid potential name-confusion. END