title: What happened to Java's @OverridingMethodMustCallSuper?
body: <p>Did I dream this? I could have swore I read something about java 7 supplying an annotation that you could place on a method to ensure all subclasses call super. Has this been renamed, or dropped, or was it never actually considered?</p>