update TeXDoclet.jar