eclipse.tex: translate the introduction of "Eclipse 3.4"