Example

protected class ClassA {
protected ClassA () {
}
}


Solution
Provide @invariant Javadoc tag for protected classes

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