114115116117118119120121122123124
); // // Create our protector. SimpleProtector protector = new SimpleProtector( inner.ident() ); // // Protect the node. final Node outer = ProtectedNode.wrap(