"anil.saldhana(a)jboss.com" wrote : I think it is a regression because p0 means a method with zero arguments whereas p1 means a perm for a specific method name but various overloaded arguments(all overloaded methods). | | So, I think p1.implies(p0) == true where as p0.implies(p1) == false. Yes, that is how these should evaluate. View the original post : http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4111398#... Reply to the post : http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...