Some tests for implementing Java OT