Esempio

class ClassA {
ClassA () {
}
}


Soluzione
Fornire la tag Javadoc @invariant per le classi package private

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