mxObjectCodec codec = mxCodecRegistry.getCodec(node.getNodeName());
mxObjectCodec codec = mxCodecRegistry.getCodec(node.getNodeName());
mxObjectCodec enc = mxCodecRegistry.getCodec(name);
.getCodec(element.getNodeName());
mxObjectCodec enc = mxCodecRegistry.getCodec(name);
.getCodec(element.getNodeName());