This reverts commit c02addcd130f15f314c092b4382bd3eb26f238d6 as it slows
down Terminal functionality. See comments on
https://github.com/eclipse-platform/eclipse.platform/pull/2463