the method we should annotate as fragile with a violated design principle using the FragileChange Annotion should only be the addAll Method?
If so, how should the method definition look like in the @FragileChange annotaion?
I mean the name and the return type of @MethodDef are pretty clear. But as you wrote in 1.1, only primitive types are allowed in this annotaion. And I think the type "Map<? extends K, ? extends V>" is not a primitive type to use in the paramter "params" of @MethodDef.

Thanks for your answers