Eclipse Platform UI incubator updates. Various small alterations to the standard workbench look, feel, and behaviour.