( Collection<String> c )
| 90 | } |
| 91 | |
| 92 | String [] toSortedStrings ( Collection<String> c ) { |
| 93 | String[] sa = c.toArray(new String[0]); |
| 94 | Arrays.sort(sa); |
| 95 | return sa; |
| 96 | } |
| 97 | |
| 98 | void setClist( String packagename ) { |
| 99 | this.selectedPackage = packagename; |