The preference doesn't have any effect. It should have been removed.

Change-Id: If2eb8609a58f7e7cdee077e5c4ebf2c25125038b
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/187923
Tested-by: Platform Bot <platform-bot@eclipse.org>