Merge pull request #137 from richardxx/master

Adding new querying methods for geom points-to analysis
Update CHANGES

Update changes for geomPTS.
1) removed debugging outputs
2) added type information to fix Java warnings
changed trap splitter to not add empty traps and remove existing ones in order to avoid infinite loops
Make sure the .source annotation parameter does not start with a numeric character. A Dalvik or Apk filename can start with a numeric character. However Jasmin's .source annotation parameter must not start with one.
Merge branch 'develop' of https://github.com/Sable/soot