Hm, TIL. I never encountered override until your comment. I'll start using that, and its cousin final. Thanks! :-)
In the meantime, I've edited to use that in the code above.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.