handling of overridable methods for Contract analysis
delta in test data for jdk7
delta in test data for IDEA test annotations
handling of overridable methods for Nullable result analysis
delta in test data for jdk7
delta in test data for IDEA test annotations