JUnit4 Contract tests for a smattering of JDK interfaces and patterns