protected WrappedVertex(Vertex vertex) { this((VertexRef)vertex); iconKey = vertex.getIconKey(); ipAddr = vertex.getIpAddress(); nodeID = vertex.getNodeID(); if (vertex.getParent() != null) parent = new WrappedVertex(vertex.getParent()); styleName = vertex.getStyleName(); tooltipText = vertex.getTooltipText(); x = vertex.getX(); y = vertex.getY(); group = vertex.isGroup(); locked = vertex.isLocked(); selected = vertex.isSelected(); }