Esempio

public class ClassA {
public ClassA () {
}
}


Soluzione
Fornire la tag Javadoc @invariant per le classi public

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