int () { int result = myFont.hashCode(); result = 31 * result + myWeight.hashCode(); result = 31 * result + myUnderline.hashCode(); result = 31 * result + myBlink.hashCode(); result = 31 * result + myFrameType.hashCode(); result = 31 * result + (myIsItalic ? 1 : 0); result = 31 * result + (myIsInverse ? 1 : 0); result = 31 * result + (myIsConseal ? 1 : 0); result = 31 * result + (myIsCrossedOut ? 1 : 0); result = 31 * result + (myIsFraktur ? 1 : 0); result = 31 * result + (myIsOverlined ? 1 : 0); result = 31 * result + (myBackgroundColor != null ? myBackgroundColor.hashCode() : 0); result = 31 * result + (myForegroundColor != null ? myForegroundColor.hashCode() : 0); return result; }