colorChoices = new Vector(7);
colorChoices = new Vector(12);
	ColorTableModel()	{		colorChoices = new Vector(7);		addColorChoice("options.styles.bgColor","view.bgColor");		addColorChoice("options.styles.fgColor","view.fgColor");		addColorChoice("options.styles.caretColor","view.caretColor");		addColorChoice("options.styles.selectionColor",			"view.selectionColor");		addColorChoice("options.styles.lineHighlightColor",			"view.lineHighlightColor");		addColorChoice("options.styles.bracketHighlightColor",			"view.bracketHighlightColor");		addColorChoice("options.styles.eolMarkerColor",			"view.eolMarkerColor");		addColorChoice("options.styles.gutterBgColor",			"view.gutter.bgColor");		addColorChoice("options.styles.gutterFgColor",			"view.gutter.fgColor");		addColorChoice("options.styles.gutterHighlightColor",			"view.gutter.highlightColor");		addColorChoice("options.styles.gutterBorderColor",			"view.gutter.borderColor");	}