It would also mark it @deprecatedOverriding, so that we can make it final in 2.12.