//selectionInfo.moveCaretPosition(0);
//selectionInfo.select(0,0);
DefaultListModel listModel = (DefaultListModel)selectionInfo.getModel();
String[] str = venn.getUnfilteredSelectionInfo().split("\n");
listModel.clear();
for( int i=0; i<str.length; ++i )
{
listModel.addElement(str[i]);
}
}