handling of overridable methods for Nullable parameters
delta in test data for jdk7
delta in test data for IDEA test annotations
handling INVOKEINTERFACE call for Nullable parameter analysis
delta in test data for jdk7
handling of overridable methods for Result (=NotNull methods) analysis
delta in test data for jdk7
delta in test data for IDEA test annotations
handling INVOKEINTERFACE call for purity analysis
delta in test data for jdk7
delta in test data for IDEA test annotations