I might be illiterate, but

The @Override you can put on methods to have Java check that you are properly overriding them is an annotation.

does not seem to make sense?

I think it would be nice to mention how it really has no runtime benefits, however, at compile time Java makes this verification. Might also be nice to say "always include the override annotation whenever applicable".