Esempio

protected class ClassA {
protected ClassA () {
}
}


Soluzione
Fornire la tag Javadoc @invariant per le classi protected

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