175176177178179180181182183184185
else { allPaths.update( this ); } WeightedPath path = allPaths.getShortestPath( start, end ); } catch ( GraphException ex ) { return false; }