mock jdk7 data and results
resurrections of compatibility with IDEA annotations

to make integration tests
data change: with signatures
rigid infinum
delta in data after rigid infinum change