if (!found)
{
if (tokens.hasMoreTokens())
{
DestinationFragmentTreeNode fragment = new DestinationFragmentTreeNode(hermes, token);
currentNode.add(fragment);
model.nodesWereInserted(currentNode, new int[] { currentNode.getIndex(fragment) }) ;
currentNode = fragment;
}
else