void (<warning descr="Parameter annotated @NotNull should not override non-annotated parameter">@NotNull</warning> Object object) { // error in Eclipse: Illegal redefinition of parameter object, inherited method from OverrideDemo2.OverrideDemo2Interface does not constrain this parameter }