[orion-releng] orion-client-dev - Build #651 - Successful!

[hudsonbuild@xxxxxxxxxxx]

orion-client-dev - Build #651 - Successful:

Check console output at https://hudson.eclipse.org/orion/job/orion-client-dev/651/ to view the results.

Changes:

[Grant Gayed] undefined reference during Editor Settings page render

[Szymon Brandys] [nobug] Making debug chekcbox label more generic

[Grant Gayed] don't depend on exception to detect missing object key

[Grant Gayed] adjust fix for undefined reference during Editor Settings page render

[Eric Moffatt] Revert "Bug 454809 - [Hover] Annoying hovers shown on occurrences annotations"

[Grant Gayed] remove println

[Grant Gayed] fix undefined references on Theme Settings page

[Mike Rennie] Bug 457279 - JS navigation hover icon path is wrong

[elijahe] Removed dual modality from Play button and disabled it when no launch configurations are present. Changed the title of the status area, again.

[libing wang] R/O file widget: Added the UI to download the current selected branch as a zip file(darklaunch for now).

[elijahe] Trivial launch configuration label font color change

[elijahe] Display errors and warnings returned by deployment wizard to users

[elijahe] Modified message in Deployment Information section when there are no launch configurations in the project to match the current RunBar UI.

[elijahe] Make sure Create New button of launch configurations dropdown always says create new regardless of the command name provided by a plugin.

Test Failures:

No tests ran.