Esempio

private class ClassA {
private ClassA () {
}
}


Soluzione
Fornire la tag Javadoc @invariant per le classi private

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