New Annotations Detector + Fixes

New Code  plus Refactoring. Changes might be needed.
Cool. Let's go back to 2.5.0 for now. Then, after the deadline we can sit down, analyze what needs to be done in terms of refactoring and how the newest version of soot can fit there. For that we can just write the authors, at least we'll get an idea of when will the next version be available. Let's then just workaround the java7-8 problem as possible for now. Thanks!