eclipse.tex: translate "Application Services"