Пример

public class ClassA { public ClassA () { } }

Решение

Предоставьте тег @invariant Javadoc для классов public /** *@invariant */ public class ClassA { public ClassA () { } }