A simple, fast and light-weight validation tool to express pre- and post-conditions in your java code