Added coloring for Eclipse (general theme and PyDev specific settings)