null pointer when double click event occurs without an existing selection (happens...
[jalview.git] / LICENSE
2005-06-08 amwaterhouseGPL