handling of overridable methods for purity analysis
delta in test data for jdk7
delta in test data for IDEA test annotations