Generate Java code through Clojure test.check-generators.