Added eclipse rascal coloring