let joana.util export also graph.io.dot package
move helper classes for dot-exporting JoanaGraphs to project joana.ifc.sdg.graph
convert joana-graph-dot-export-helper-classes to singletons
convenience class for writing JoanaGraphs to dot format
JoanaGraph: ensure that root node has no incoming edges
ISCRBuilder: fold the right icfg
JUnit test which checks that ISCR graph computation does not crash (that is why assertions are turned on explicitly)
remove console output from TimeSens test
explain why it is neccessary to temporarily enable assertions for TimeSensSlicingTest
use ThreadChopper instead of RepsRosayChopper to produce debug output in IFCAnalysis (works then also in the concurrent case)
Revert "use ThreadChopper instead of RepsRosayChopper to produce debug output in IFCAnalysis (works then also in the concurrent case)" - problem: it worked *only* in the concurrent case...
make TimeSensLeak and LockSensValid tests pass again - one additional flow is found in each case because static initializers are also taken into account by the time sensitive slicer
Merge branch 'mmohr-timesens-fix' into devel-master
remove reundant dependency of joana.wala.jodroid on com.ibm.wala.cast[.java]
refactor JoDroidConstruction a bit; extend public interface
minor changes to WALA submodule - see respective git log
IFCAnalysis: simplify initialization of standard lattice
make builtin lattices be constructed only once
let IFCAnnotationManager return all annotated SDG nodes
make JoanaConflict and JoanaViolation abstract; JoanaConflict extends JoanaViolation