Adopting html4j rev. 0.8.3