z3java: Ported glue z3 library to java