@Contract
This commit refines `@Contract` Javadoc to mention this and new return values. Closes gh-33849