public int hashCode() {
int h = 0;
if (extensionValue != null) {
byte[] val = extensionValue;
int len = val.length;
while (len > 0) {
h += len * val[--len];
}
}
h = h * hashMagic + extensionId.hashCode();
h = h * hashMagic + (critical ? 1231 : 1237);
return h;
}
