in src/main/java/org/apache/sling/jcr/jackrabbit/accessmanager/LocalPrivilege.java [207:216]
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + (allow ? 1231 : 1237);
result = prime * result + ((allowRestrictions == null) ? 0 : allowRestrictions.hashCode());
result = prime * result + (deny ? 1231 : 1237);
result = prime * result + ((denyRestrictions == null) ? 0 : denyRestrictions.hashCode());
result = prime * result + ((privilege == null) ? 0 : privilege.getName().hashCode());
return result;
}