Used SVN export to update to svn revision 9747.