Support for Checking Package-Private Attributes in Java

[aalramadan]

Tool currently does not support checking for package-private attributes in Java for inheritance.

These are attributes that are declared without any access modifier (public, private, protected). They are considered to have "package-private" access, meaning they can be accessed directly from any class in the same package, but not from classes in other packages.

Could perhaps collect the "package" statements and check whether two classes are in the same package.