code template
first implementation of reduced summaries
comments for SummarizableAbstraction
bidisolver now supports summarizing abstractions
made bidi solver extensible
new version of guava
made a method protected
Merge pull request #5 from malaverdiere/merge-develop

SLF4J Logging in HEROS
added SLF4j to the build script and the eclipse dependency list
added a PathTrackingIFDSSolver which implements the keeping track of paths;
modified BiDiIFDSSolver such that it extends this solver; this is necessary because the BiDi-operations must occur before (!) the caching; otherwise the path constructions may miss paths
Revert "comments for SummarizableAbstraction"

This reverts commit 0b8c932a3148db790a0e508d1682733a1890c9c9.
Revert "first implementation of reduced summaries"

This reverts commit f161c0430a281cc1b7a9fa2bec3ac5423a4b3887.
Merge branch 'feature/reduced-summaries-bidi' into develop

Conflicts:
	.classpath
	src/heros/solver/BiDiIFDSSolver.java
Added SBT build file
Updated Guava
Bumped version number
Updated version number
Changed the source folder reference

See advice at
http://stackoverflow.com/questions/19234907/sources-from-the-main-project-creep-into-a-subproject
Added SBT Idea plugin
Updated version and removed Scala from build.sbt