Verbs are reordered after selecting a thematic role in a grid

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open the preference page "Thematic grids"
2. Choose a thematic grid. 
3. Select and deselect thematic roles. 

What is the expected output? What do you see instead?
I expect to see the verbs in the same ordering after each click on a role. But 
they are rearranged. 

I believe the reason for that is that the verbs a collected in a HashSet and a 
set don't have an ordering. Solve this by putting all verbs into a list and 
order them alphabetically. Then put them into the textfield.

Please use labels and text to provide additional information.

Original issue reported on code.google.com by krauseda...@web.de on 30 Oct 2012 at 3:41

[GoogleCodeExporter]

Original comment by dirk.mei...@gmail.com on 7 Nov 2012 at 2:05

• Changed state: Started

[GoogleCodeExporter]

This issue was closed by revision r972.

Original comment by dirk.mei...@gmail.com on 7 Nov 2012 at 2:24

• Changed state: Fixed