Safe HTML Types for Java
This is the Java version of the safe HTML types library which allows safe-by-construction of web applications by introducing types with safe contracts for snippets of content in web languages.
See [release-checklist.md] for instructions on how to push to github and maven central.