added Monokai theme for Eclipse