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