Hardy Ferentschik, just saw you assigned that issue to you. I've thought a bit more about it, simply excluding synthetic methods might not be exactly the right thing to do. Because if a synthetic method (without any constraints declared locally), it still should inherit the constraints from the methods it overrides. But given that ClassMate ignores synthetic methods altogether, I'm not sure how it could be done. We could implement a simple parameter type comparison as a fallback for that case, which doesn't take generics into account. That would further minimize the number of cases where that problem shows up.