Z3: Adding Java z3 module
Some stuff left lol