.texlipse nicht in Index