Assign eclipse.tex
eclipse.tex: translate section headers
eclipse.tex: translate the introduction