Adjustments to account for changes in JDT:

* abandon testing with compliance 1.5 which had problems
  with @Override due to changes in StubUtility2Core
* consequence of above: one null-quickfix is no longer observed
  as it is not yet implemented for TYPE_USE annotations
* Replace adaptation in StubUtility2Core with minimal fixes
  - add more tests for quickfix re unimplemented methods
  - let dom TypeBinding find relevant synth super interfaces
4 files changed