Merge pull request #38 from StevenArzt/develop

added a getPredsOf() to the icfg similarly to the existing getSuccsOf()
don't require java 7 on buildpath
factoring out computation of predecessors into distinct subclass
added generic to remove Java compiler warning