Exemple

public class ClassA {
public ClassA () {
}
}


Solution
Entrez une balise Javadoc @invariant pour les classes de type public.

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