transformed to an texlipse project