JoanaIFCSlicer: do not rely on reference equality when comparing strings
old IFCConsole: handle the case of aborted input
old IFCConsole: handle also quit command and print an error message if user inputs an unknown command
old IFCConsole: handle input abortion in two more cases
kill unused 'barrier' field from class Criterion
give the inner class StaticContext more robust equals() and hashCode() implementations
make SDGNode implement Cloneable
make SDG implement Cloneable
make class 'States' implement Cloneable
make equals method of class 'States' more robust
get rid of edu.kit.joana.ifc.sdg.graph.slicer.conc.dynamic.krinke.old package and the deprecated class 'SlicerTool', which is the only user of that package
make class 'WorklistElement' implement Cloneable
make equals method of inner class 'Key' in class 'ReachabilityCache' more robust
make non-dynamic version of class 'States' Cloneable
make equals method of non-dynamic version of class 'States' more robust
make non-dynamic version of class 'WorklistElement' implement Cloneable
make nanda version of class 'States' implement Cloneable
make equals method of nanda version of class 'States' more robust
make equals method of class 'SimpleWorklistElement' more robust
make nanda-experimental version of class 'States' implemente Cloneable