Program: 18056
Project: 18056
Buggy source:
@Override public String getDataServiceVersion() throws ODataException {
  if (schemas == null) {
    schemas=edmProvider.getSchemas();
  }
  if (dataServiceVersion == null) {
    dataServiceVersion=Edm.DATA_SERVICE_VERSION_10;
    if (schemas != null) {
      for (      Schema schema : schemas) {
        List<EntityType> entityTypes=schema.getEntityTypes();
        if (entityTypes != null) {
          for (          EntityType entityType : entityTypes) {
            List<Property> properties=entityType.getProperties();
            if (properties != null) {
              for (              Property property : properties) {
                if (property.getCustomizableFeedMappings() != null) {
                  if (property.getCustomizableFeedMappings().getFcKeepInContent() != null) {
                    if (!property.getCustomizableFeedMappings().getFcKeepInContent()) {
                      dataServiceVersion=Edm.DATA_SERVICE_VERSION_20;
                      return dataServiceVersion;
                    }
                  }
                }
              }
              if (entityType.getCustomizableFeedMappings() != null) {
                if (entityType.getCustomizableFeedMappings().getFcKeepInContent() != null) {
                  if (entityType.getCustomizableFeedMappings().getFcKeepInContent()) {
                    dataServiceVersion=Edm.DATA_SERVICE_VERSION_20;
                    return dataServiceVersion;
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  return dataServiceVersion;
}

Fixed version (ground truth):
@Override public String getDataServiceVersion() throws ODataException {
  if (schemas == null) {
    schemas=edmProvider.getSchemas();
  }
  if (dataServiceVersion == null) {
    dataServiceVersion=ODataServiceVersion.V10;
    if (schemas != null) {
      for (      Schema schema : schemas) {
        List<EntityType> entityTypes=schema.getEntityTypes();
        if (entityTypes != null) {
          for (          EntityType entityType : entityTypes) {
            List<Property> properties=entityType.getProperties();
            if (properties != null) {
              for (              Property property : properties) {
                if (property.getCustomizableFeedMappings() != null) {
                  if (property.getCustomizableFeedMappings().getFcKeepInContent() != null) {
                    if (!property.getCustomizableFeedMappings().getFcKeepInContent()) {
                      dataServiceVersion=ODataServiceVersion.V20;
                      return dataServiceVersion;
                    }
                  }
                }
              }
              if (entityType.getCustomizableFeedMappings() != null) {
                if (entityType.getCustomizableFeedMappings().getFcKeepInContent() != null) {
                  if (entityType.getCustomizableFeedMappings().getFcKeepInContent()) {
                    dataServiceVersion=ODataServiceVersion.V20;
                    return dataServiceVersion;
                  }
                }
              }
            }
          }
        }
      }
    }
  }
  return dataServiceVersion;
}