model.SignatureMatcher contains a bug with method
signature parsing and default (=package visibility).
Due to this, ProgramCode.hasAccessTo() returns
incorrect values.
For unknown reasons, SignatureMatcher drops too many
characters from method signatures in certain
conditions. This will generate a situation where two
signatures are compared against each other:
"java.util.Iterator" <> "ava.util.Iterator"
How-To-Repeat:
Run ConflictCheck using code with methods having
default visibility.
Suggested-Fix:
A. Re-design the entire architecture for signatures.
B. Re-implement SignatureMatcher.
Environment: Any