JAVAAWTCOLOR Data Type

Describes the RGB values of a color. 4Test defines this record data type as follows:
[-] type JavaAwtColor is record
	[ ] INTEGER Red
	[ ] INTEGER Green
	[ ] INTEGER Blue
	[ ] 
[ ] const JavaAwtColor WHITE = {255, 255, 255}
[ ] const JavaAwtColor LIGHTGRAY = {192, 192, 192}
[ ] const JavaAwtColor GRAY = {128, 128, 128}
[ ] const JavaAwtColor DARKGRAY = { 64, 64, 64}
[ ] const JavaAwtColor BLACK = { 0, 0, 0}
[ ] const JavaAwtColor RED = {255, 0, 0}
[ ] const JavaAwtColor PINK = {255, 175, 175}
[ ] const JavaAwtColor ORANGE = {255, 200, 0}
[ ] const JavaAwtColor YELLOW = {255, 255, 0}
[ ] const JavaAwtColor GREEN = { 0, 255, 0}
[ ] const JavaAwtColor MAGENTA = {255, 0, 255}
[ ] const JavaAwtColor CYAN = { 0, 255, 255}
[ ] const JavaAwtColor BLUE = { 0, 0, 255}