Add "subtract" operation for collections
Add rt.jar from JDK 1.7_0_09 with predefined annotations
Add conflict exceptions support
Add return/throw reachability computation
Add conflict exceptions support
Inference improvements: return/throw reachability information, "spoiled" values, "merged"/"inherited" values
Pair(a, b) -> a to b
AnnotationWriter takes a list of pairs
Utility functions for String and File
Relaxed contract
Slow implementation deprecated
forEachMember() function
~
Loading field annotations from byte code
Commonly used field moved to util
Annotations for ASM
Nullability annotations supported in signature renderer
~ Test for no annotations
Collection to map
Missing 'throw'