Workaround for Eclipse focus bug is needed on all platforms