Example

class ClassA {
ClassA () {
}
}


Solution
Provide @invariant Javadoc tag for package private classes

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