125126127128129130131132133134135
TreeNode dst = null; Iterator<TreeNode> it = nodes.iterator(); while( dst == null && it.hasNext() ){ dst = it.next(); if(! dst.matches( node ) ) dst = null; } if( dst == null ){ nodes.add( node.copy() );