1) changed Android method lists to sets
2) fixed a bug in alias generation for taint wrappers (if the whole base object was tainted, no aliases for it were retrieved)
3) added some taint wrapper test cases
fixed a NullPointerExeption