Yeah, I think that was optimistic when they added the `@Deprecated` annotation. But since deprecations should be documented, `@Deprecated` doesn't stand alone. I think it's simpler to just use the Javadoc `@deprecated`. And that satisfies Shipley's law.