JAL-3141 correct cast of spinner value
[jalview.git] / utils / install4j / DS_Store_3
2019-05-31 Ben SoaresJAL-3247 Adjusted Uninstall Old Jalview.app to just...