1. Create in preferences several server runtime environments for the same JBoss runtime type.
2. Create a server for one of them and open it in the server editor.
3. Select another 'Runtime Environment' and save the change.
4. Open preferences and add one more new runtime environment for the same runtime type.
5. In server editor 'Runtime Environment' returned to the original choice - failure.
6. Close/reopen server editor - 'Runtime Environment' shows correct choice saved before.