}
edgeSet.add( edge.getP1( ) + ":" + edge.getP2( ) );
}
else if ( object instanceof Junction )
{
Junction junction = ( Junction ) object;
int basePoint = junction.getBasePoint( );
if ( basePoint > maxJunctionBasePoint )
{
maxJunctionBasePoint = basePoint;
}
if ( basePoint < minJunctionBasePoint )