A small declarative-style library for validating untrusted input in Java