Merge pull request #25 from richardxx/master

New pull request for geometric points-to solver
Resolve compile errors with JDK 1.7.