null pointer when double click event occurs without an existing selection (happens...
[jalview.git] / utils / .cvsignore
2008-09-04 jproctermerge from 2_4_Release branch