Add deprecation message to the Javadoc, with pretty much the same content as in the PR description?