K 10 svn:author V 3 bde K 8 svn:date V 27 1997-09-01T00:18:02.000000Z K 7 svn:log V 225 Added #include of to make this self-sufficient. Includers of this file apparently didn't know that was a prerequisite and include a semi-random collection headers until one happened to include it. END