JAL-3042 don't allow user to change default history length for an input box
[jalview.git] / lib / commons-discovery.jar
2005-01-15 jproctersupport for jemboss server interaction.