/** * Constructs a similar Protocol instance with the same {@code name}, {@code doc}, and {@code namespace} as {code p} * has. It also copies all the {@code props}. */ public Protocol(Protocol p) { this(p.getName(), p.getDoc(), p.getNamespace()); putAll(p); }