Rewrite the C++ tool "daistish" into a Java testing tool. The tester tool uses axiomatic specs to specify the behavior a class must have, and automatically sets up a comprehensive test suite for determining if the class implementation provides this behavior. Will have a web-based GUI.