Merge branch 'develop' into development/Release_2_12_Branch_JAL-4102_21126_merge
[jalview.git] / src / jalview / ws / params / simple / RadioChoiceParameter.java
2018-05-30 gmungocJAL-3008 new parameter type RadioChoiceParameter