Adopting 0.8.3 release of html4j API