Java library for checking and pretty printing HTML
