This commit was manufactured by cvs2svn to create branch 'RC_1_31_0'.
merged changes from main branch