- implement general preference org.eclipse.jdt.core.compiler.annotation.nulldefault
  - apply its value in fillInNullNessDefault()
- temporary tweak: don't complain against tightening contract inherited 
  from binary type (disabled)
- fix issue with compile order where bindArguments of super type 
  was not done before verifyMethods
TODO: check if transitive inheritance of annotations and defaults play well together
 regarding compile order.
1 file changed