handle (jimple) exceptions