Changing Jimple Interface to accept AMD64 builder