Program: 93616
Project: 93616
Buggy source:
public static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtilis.removeTrailingSlashes(exchange.getRequestPath());
  String queryString=exchange.getQueryString();
  int page=context.getPage();
  int pagesize=context.getPagesize();
  int totalPages=0;
  if (size > 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.nextUp(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
  }
 else {
    String queryStringNoPagingProps=URLUtilis.getQueryStringRemovingParams(exchange,"String_Node_Str","String_Node_Str");
    if (queryStringNoPagingProps == null || queryStringNoPagingProps.isEmpty()) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize);
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page > 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize));
      }
    }
 else {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      }
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page >= 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize)+ "String_Node_Str"+ queryStringNoPagingProps);
      }
    }
  }
  return links;
}

Fixed version (ground truth):
public static TreeMap<String,String> getPaginationLinks(HttpServerExchange exchange,RequestContext context,long size) throws IllegalQueryParamenterException {
  String requestPath=URLUtilis.removeTrailingSlashes(exchange.getRequestPath());
  String queryString=exchange.getQueryString();
  int page=context.getPage();
  int pagesize=context.getPagesize();
  long totalPages=0;
  if (size > 0) {
    float _size=size + 0f;
    float _pagesize=pagesize + 0f;
    totalPages=Math.max(1,Math.round(Math.ceil(_size / _pagesize)));
  }
  TreeMap<String,String> links=new TreeMap<>();
  if (queryString == null || queryString.isEmpty()) {
    links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
  }
 else {
    String queryStringNoPagingProps=URLUtilis.getQueryStringRemovingParams(exchange,"String_Node_Str","String_Node_Str");
    if (queryStringNoPagingProps == null || queryStringNoPagingProps.isEmpty()) {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize);
      links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize);
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page > 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize));
      }
    }
 else {
      links.put("String_Node_Str",requestPath + "String_Node_Str" + pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      if (totalPages <= 0) {
        links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
      }
      if (totalPages > 0) {
        if (page < totalPages) {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
          links.put("String_Node_Str",requestPath + "String_Node_Str" + (page + 1)+ "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
 else {
          links.put("String_Node_Str",requestPath + (totalPages != 1 ? "String_Node_Str" + totalPages : "String_Node_Str") + "String_Node_Str"+ pagesize+ "String_Node_Str"+ queryStringNoPagingProps);
        }
      }
      if (page > 1) {
        links.put("String_Node_Str",requestPath + (page >= 2 ? "String_Node_Str" + (page - 1) : "String_Node_Str") + (page >= 2 ? "String_Node_Str" + pagesize : "String_Node_Str" + pagesize)+ "String_Node_Str"+ queryStringNoPagingProps);
      }
    }
  }
  return links;
}