if(res != null) {
if(graph.isInstanceOf(res, DiagramResource.getInstance(graph).SVGElement)) {
result.add(make(res, 100.0, "SVG"));
if(res != null) {
if(graph.isInstanceOf(res, DiagramResource.getInstance(graph).SVGElement)) {
result.add(make(res, 100.0, "SVG"));