Program: 16867
Project: 16867
Buggy source:
@Override public boolean equals(Object o){
  if (this == o) {
    return true;
  }
  if (o == null || getClass() != o.getClass()) {
    return false;
  }
  TwitterProfile that=(TwitterProfile)o;
  if (backgroundImageTiled != that.backgroundImageTiled) {
    return false;
  }
  if (contributorsEnabled != that.contributorsEnabled) {
    return false;
  }
  if (favoritesCount != that.favoritesCount) {
    return false;
  }
  if (followRequestSent != that.followRequestSent) {
    return false;
  }
  if (followersCount != that.followersCount) {
    return false;
  }
  if (following != that.following) {
    return false;
  }
  if (friendsCount != that.friendsCount) {
    return false;
  }
  if (geoEnabled != that.geoEnabled) {
    return false;
  }
  if (id != that.id) {
    return false;
  }
  if (isProtected != that.isProtected) {
    return false;
  }
  if (listedCount != that.listedCount) {
    return false;
  }
  if (notificationsEnabled != that.notificationsEnabled) {
    return false;
  }
  if (showAllInlineMedia != that.showAllInlineMedia) {
    return false;
  }
  if (statusesCount != that.statusesCount) {
    return false;
  }
  if (translator != that.translator) {
    return false;
  }
  if (useBackgroundImage != that.useBackgroundImage) {
    return false;
  }
  if (utcOffset != that.utcOffset) {
    return false;
  }
  if (verified != that.verified) {
    return false;
  }
  if (backgroundColor != null ? !backgroundColor.equals(that.backgroundColor) : that.backgroundColor != null) {
    return false;
  }
  if (backgroundImageUrl != null ? !backgroundImageUrl.equals(that.backgroundImageUrl) : that.backgroundImageUrl != null) {
    return false;
  }
  if (createdDate != null ? !createdDate.equals(that.createdDate) : that.createdDate != null) {
    return false;
  }
  if (description != null ? !description.equals(that.description) : that.description != null) {
    return false;
  }
  if (language != null ? !language.equals(that.language) : that.language != null) {
    return false;
  }
  if (linkColor != null ? !linkColor.equals(that.linkColor) : that.linkColor != null) {
    return false;
  }
  if (location != null ? !location.equals(that.location) : that.location != null) {
    return false;
  }
  if (name != null ? !name.equals(that.name) : that.name != null) {
    return false;
  }
  if (profileImageUrl != null ? !profileImageUrl.equals(that.profileImageUrl) : that.profileImageUrl != null) {
    return false;
  }
  if (screenName != null ? !screenName.equals(that.screenName) : that.screenName != null) {
    return false;
  }
  if (sidebarBorderColor != null ? !sidebarBorderColor.equals(that.sidebarBorderColor) : that.sidebarBorderColor != null) {
    return false;
  }
  if (sidebarFillColor != null ? !sidebarFillColor.equals(that.sidebarFillColor) : that.sidebarFillColor != null) {
    return false;
  }
  if (textColor != null ? !textColor.equals(that.textColor) : that.textColor != null) {
    return false;
  }
  if (timeZone != null ? !timeZone.equals(that.timeZone) : that.timeZone != null) {
    return false;
  }
  if (url != null ? !url.equals(that.url) : that.url != null) {
    return false;
  }
  return true;
}

Fixed version (ground truth):
@Override public boolean equals(Object o){
  if (this == o) {
    return true;
  }
  if (o == null || getClass() != o.getClass()) {
    return false;
  }
  TwitterProfile that=(TwitterProfile)o;
  if (backgroundImageTiled != that.backgroundImageTiled) {
    return false;
  }
  if (contributorsEnabled != that.contributorsEnabled) {
    return false;
  }
  if (favoritesCount != that.favoritesCount) {
    return false;
  }
  if (followRequestSent != that.followRequestSent) {
    return false;
  }
  if (followersCount != that.followersCount) {
    return false;
  }
  if (following != that.following) {
    return false;
  }
  if (friendsCount != that.friendsCount) {
    return false;
  }
  if (geoEnabled != that.geoEnabled) {
    return false;
  }
  if (id != that.id) {
    return false;
  }
  if (isProtected != that.isProtected) {
    return false;
  }
  if (listedCount != that.listedCount) {
    return false;
  }
  if (notificationsEnabled != that.notificationsEnabled) {
    return false;
  }
  if (showAllInlineMedia != that.showAllInlineMedia) {
    return false;
  }
  if (statusesCount != that.statusesCount) {
    return false;
  }
  if (translator != that.translator) {
    return false;
  }
  if (useBackgroundImage != that.useBackgroundImage) {
    return false;
  }
  if (utcOffset != that.utcOffset) {
    return false;
  }
  if (verified != that.verified) {
    return false;
  }
  if (idStr != null ? !idStr.equals(that.idStr) : that.idStr != null) {
    return false;
  }
  if (backgroundColor != null ? !backgroundColor.equals(that.backgroundColor) : that.backgroundColor != null) {
    return false;
  }
  if (backgroundImageUrl != null ? !backgroundImageUrl.equals(that.backgroundImageUrl) : that.backgroundImageUrl != null) {
    return false;
  }
  if (createdDate != null ? !createdDate.equals(that.createdDate) : that.createdDate != null) {
    return false;
  }
  if (description != null ? !description.equals(that.description) : that.description != null) {
    return false;
  }
  if (language != null ? !language.equals(that.language) : that.language != null) {
    return false;
  }
  if (linkColor != null ? !linkColor.equals(that.linkColor) : that.linkColor != null) {
    return false;
  }
  if (location != null ? !location.equals(that.location) : that.location != null) {
    return false;
  }
  if (name != null ? !name.equals(that.name) : that.name != null) {
    return false;
  }
  if (profileImageUrl != null ? !profileImageUrl.equals(that.profileImageUrl) : that.profileImageUrl != null) {
    return false;
  }
  if (screenName != null ? !screenName.equals(that.screenName) : that.screenName != null) {
    return false;
  }
  if (sidebarBorderColor != null ? !sidebarBorderColor.equals(that.sidebarBorderColor) : that.sidebarBorderColor != null) {
    return false;
  }
  if (sidebarFillColor != null ? !sidebarFillColor.equals(that.sidebarFillColor) : that.sidebarFillColor != null) {
    return false;
  }
  if (textColor != null ? !textColor.equals(that.textColor) : that.textColor != null) {
    return false;
  }
  if (timeZone != null ? !timeZone.equals(that.timeZone) : that.timeZone != null) {
    return false;
  }
  if (url != null ? !url.equals(that.url) : that.url != null) {
    return false;
  }
  return true;
}