put LaTeXLexer.java in debian/clean