[Eclipse-cvs] CVS update: public_html/docs/users-manual-single/users-manual.html