サンプル

protected class ClassA { protected ClassA () { } }

ソリューション

protected クラスに @invariant Javadoc タグを指定します。 /** *@invariant */ protected class ClassA { protected ClassA () { } }