示例

class ClassA {{
ClassA () {
}
}


解决方案
为 package private 类提供 @invariant Javadoc 标记

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