result.close();
}
// prune overlapping starting points
String previousPath = null;
for (Iterator it = startingPoints.keySet().iterator(); it.hasNext();)
{
String path = (String)it.next();
// if the previous path is a prefix of this path then the
// current path is obsolete
if (previousPath != null && path.startsWith(previousPath))