bugfix pydev-editor's icon when in dark theme.