On Tuesday, 5 April 2016 at 18:38:43 UTC, stunaep wrote:
I get a deprecation warning with @Override, but I was unable to find the proper way to do it.
What error message exactly are you getting and on what code? Both styles you put there should work equally well.