This issue relates to JBIDE-9530. The user should be able to map the colors of his choice in a new preference page.