final Nodes marked = new Nodes(GUI.context.data());
<BUG>marked.union(il.finish());
notifyContext(marked, false, null);</BUG>
} else {
final Nodes marked = new Nodes(GUI.context.data());
<BUG>marked.union(il.finish());
notifyMark(marked, this);</BUG>
}
}
@Override

final Nodes marked = new Nodes(GUI.context.data());
marked.union(il);
notifyContext(marked, false, null);
} else {
final Nodes marked = new Nodes(GUI.context.data());
marked.union(il);
notifyMark(marked, this);
}
}
@Override
