public int hashCode() { // Computed as per "Effective Java" book int result = 17; result = 37 * result + horizontalAlignment; result = 37 * result + verticalAlignment; if (fgColor != null) result = 37 * result + fgColor.hashCode(); if (bgColor != null) result = 37 * result + bgColor.hashCode(); if (font != null) result = 37 * result + font.hashCode(); if (border != null) result = 37 * result + border.hashCode(); if (padding != null) result = 37 * result + padding.hashCode(); if (formatter != null) result = 37 * result + formatter.hashCode(); return result; } }