public void setTextSelectionColor(Color value0) {  }
public void setTextSelectionColor(Color c) { textSelectionColor = c; }
	public void setTextSelectionColor(Color value0) {		// TODO	} // setTextSelectionColor()