AF3z3Activator.java 16b903cd920a0de9cd31bfb9ee05a8aabdb285c2 GREEN
Z3Type.java 73e319ae206d2fd456ec9430c01b5ff7fc7282d0 GREEN
Z3javaAPIWrapper.java 944124203697688c73681bf3659c44b5daba697b GREEN
