if (av.getSelectionGroup() != null)
{
av.getSelectionGroup().addOrRemove(found, true);
av.getSelectionGroup().setEndRes(av.alignment.getWidth() - 1);
if (av.getSelectionGroup() != null)
{
av.getSelectionGroup().addOrRemove(found, true);
av.getSelectionGroup().setEndRes(av.alignment.getWidth() - 1);