This commit was generated by cvs2svn to compensate for changes in r12232,