K 10 svn:author V 6 gerald K 8 svn:date V 27 2004-02-23T22:39:44.000000Z K 7 svn:log V 100 Work around a bug that would break in the presence of recent versions of the arts port. PR: 62954 END