more generally avoid complaints re @Override for generated or copied methods.

1 file changed