BIGTOP-685 added test contracts. Three new annotations were introduced: @Contract, @Property, and @Variable.
@Contract is @Documented, but the other two are not. They should be too.
(When I added them originally, I thought it was enough to make @Contract @Documented, because the @Contract annotation is applied to a class, and the other two are only used within a @Contract annotation.)