Issue #4294: Add override declaration