This commit was manufactured by cvs2svn to create tag 'pre-ettore'. svn path=/tags/pre-ettore/; revision=2814