Use customized version of eclipse.platform.ui