K 10
svn:author
V 3
alc
K 8
svn:date
V 27
2003-08-18T17:27:08.000000Z
K 7
svn:log
V 109
The previous change necessitates the addition of a new #include.  Otherwise,
there is a compilation warning.

END