[Eclipse-cvs] CVS update: eclipse/docs/eclipse.1