REDDEER-343: Bad implementation of WidgetHandler.setFocus