ignored texlipse file