int () { int result = kind.hashCode(); result = 31 * result + path.hashCode(); result = 31 * result + action.hashCode(); result = 31 * result + message.hashCode(); result = 31 * result + options.hashCode(); return result; }