Example

public class ClassA {
public ClassA () {
}
}


Solution
Provide @invariant Javadoc tag for public classes

/**
*@invariant
*/
public class ClassA {
public ClassA () {
}
}