This commit was manufactured by cvs2svn to create tag 'paolo-0'. svn path=/tags/paolo-0/; revision=21096