Fixed missing texlipse unzipping inadvertently removed in a previous
commit.