JAL-3560 tweak to force use of standard Java HashSet
[jalview.git] / build-1-site.xml
2020-03-19 BobHansonJAL-3560 better build xml names