[Eclipse-cvs] CVS update: public_html/extensions.shtml