Java 的 @OverridingMethodMustCallSuper 发生了什么?

ant*_*lma 5 java overriding annotations

这是我梦到的吗?我可以发誓我读过一些关于 java 7 的内容,它提供了一个注释,您可以将其放置在方法上以确保所有子类都调用 super。它是否已被重命名,或被删除,或者从未真正考虑过?