force UTF-8; added Texlipse nature to Eclipse config