public int hashCode() {
		int hash = 0;
		if (foreground != null)
			hash ^= foreground.hashCode();
		if (background != null)
			hash ^= background.hashCode();
		if (font != null)
			hash ^= font.hashCode();
		if (metrics != null)
			hash ^= metrics.hashCode();
		if (underline)
			hash ^= (hash << 1);
		if (strikeout)
			hash ^= (hash << 2);
		hash ^= rise;
		if (underlineColor != null)
			hash ^= underlineColor.hashCode();
		if (strikeoutColor != null)
			hash ^= strikeoutColor.hashCode();
		if (borderColor != null)
			hash ^= borderColor.hashCode();
		hash ^= underlineStyle;
		return hash;
	}