K 10 svn:author V 2 gj K 8 svn:date V 27 2008-06-17T12:11:43.000000Z K 7 svn:log V 63 Update to version 9.7. Correctly handle the NOPORTSDOCS case. END