Beispiel

public class ClassA {
public ClassA () {
}
}


Lösung
Geben Sie den Javadoc-Tag '@invariant' für Klassen des Typs public an.

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