[Soot-list] a question about exception analysis

[luca]

Hi,
I am tring to use soot to perform an exception analysis.
I noticed that the catch statements are traslated in jimple as IdentityStatement nodes, whose right value is something like "@caughtexception", that is a JCaughtExceptionRef instance.
Now i am interested in finding out how to identify the type of this right value.
I tried the method getType() of JCaughtExceptionRef, but it returns for any exception the type throwable.
This is correct, but inaccurate.
Can anyone tell me how to get a more accurate typing?
thanks 
L.C.
Chiacchiera con i tuoi amici in tempo reale! 
 http://it.yahoo.com/mail_it/foot/*http://it.messenger.yahoo.com