int () { int hashCode = 1; hashCode = hashCode * 8191 + ((isSetText()) ? 131071 : 524287); if (isSetText()) hashCode = hashCode * 8191 + text.hashCode(); hashCode = hashCode * 8191 + ((isSetActTok()) ? 131071 : 524287); if (isSetActTok()) hashCode = hashCode * 8191 + actTok.hashCode(); return hashCode; }