Updated texlipse