Javadoc should contain an `@deprecated` comment pointing to the thing to use instead