This commit was manufactured by cvs2svn to create tag 'release_17'. svn path=/tags/release_17/; revision=3445