String[] rgssorton = rgnames.toArray(new String[rgs.size()]);
jalview.util.QuickSort.sort(rgssorton, rgssort);
ArgumentI tmp1;
String[] rgssorton = rgnames.toArray(new String[rgs.size()]);
jalview.util.QuickSort.sort(rgssorton, rgssort);
ArgumentI tmp1;