Merge branch 'Jalview-JS/develop' into merge_js_develop
[jalview.git] / src / jalview / ws / params / simple / RadioChoiceParameter.java
2018-05-30 gmungocJAL-3008 new parameter type RadioChoiceParameter