added PyDev color scheme