protected JGraphpadEdgeTool createEdgeTool(String name,
Object defaultValue, Edge.Routing routing) {
DefaultEdge edge = createEdge(createEdgeUserObject(defaultValue));
if (routing != null)
GraphConstants.setRouting(edge.getAttributes(), routing);
return new JGraphpadEdgeTool(name, edge);
}