if ((value = pi.getValue("name")) != null) {
info.setProtocolName(value);
}
} else if (object instanceof ElementDefinition) {
ElementDefinition definition = (ElementDefinition) object;
parser.println("Element " + definition.getName()
+ " is deprecated");
} else {
throw new IllegalStateException("Unhandled object " + object);
}
}