xtext: store palette as GdkColors