add (class, method) to class and method selector - now it fits its name
delete old membrane context sensitivity
uncomment ParallelArray context sensitivity - for em3d
test for Collections$synchronized*
extra test for piggyback avoidance
minor
log heap and cg sizes
extra options for interactive
mark SAXParserFactory as thread-safe
more library code markings
test for ThreadLocal - they all seem to pass even if I expect them not to. Have to look into this at some point.
example in the paper
more library markings
update to interactive
log number of methods
add container context selector