JAL-3594 Allow a channel to use a different preferences file than .jalview_properties...
[jalview.git] / j11lib / intervalstore-v1.1.jar
2020-05-18 gmungocJAL-3621 update to intervalstore v1.1