int () { int hashCode = 1; hashCode = hashCode * 8191 + ((isSetCommands()) ? 131071 : 524287); if (isSetCommands()) hashCode = hashCode * 8191 + commands.hashCode(); hashCode = hashCode * 8191 + ((isAutoMagic) ? 131071 : 524287); return hashCode; }