} else {
sptServiceFactory.setTraverseVisitor(new VisualTraverseVisitor(showGraph));
}
// set up a visitor to the path service so we can get the SPT as it's generated
SPTVisitor vis = new SPTVisitor();
pathservice.setSPTVisitor(vis);
long t0 = System.currentTimeMillis();
// TODO: check options properly intialized (AMB)
List<GraphPath> paths = pathservice.getPaths(options);