JAL-3141 correct cast of spinner value
[jalview.git] / help /
drwxr-xr-x   ..
drwxr-xr-x - help