Java library for syntax checking and pretty printing HTML
