サンプル

public class ClassA {
public ClassA () {
}
}


解決策
public クラスに @invariant Javadoc タグを指定します。

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