[Soot-list] Exception that should not occur

[Quentin Sabah]

> What should I do because I need the original names?

Please answer my first question, it is important.

> - Are you using the develop branch of the git repo ? If yes, what is
> the current HEAD of your branch (type the command "git rev-parse HEAD")?

-- 
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SPADES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 54 57        | phone: +33 476 58 44 14