Tweak java/icedtea-web version 1.4_1
Tweak textproc/latex2html version 2008_1