Teiid-Designer/teiid-designer — pull request #206 by phantomjinx (2013-07-16 15:12:05+00:00)
Title: TEIIDDES-1775: Centralise the handling of the default server preference

* Rather than the ModelExplorerResourceNavigator listening for the server
preference change, have the TeiidServerManager deal with it in the same
manner as a default server change. Ensures that editors can be closed
if necessary.

* DefaultTeiidServerPreferenceContributor
* Since editors may be closed as a consequence of the server version
preference being modified, ask the user if this is acceptable and if
not then do not apply the change in preference.
* Sort the runtime version available with the most recent at the top.

* TeiidServerManager
* Adds the preference listener
* Run the closeEditors function on the UI thread to avoid any possibility
of invalid thread access exceptions