Added example Z3 java file and needed jar