[Demonstration 1]

[Buggy Method]
public String login() {
    String result = "";
    FacesContext context = FacesContext.getCurrentInstance();
    HttpServletRequest request = (HttpServletRequest) context.getExternalContext().getRequest();
    try {
        request.login(username, password);
        IWorker worker = workerService.getWorkerByLogin(username);
        request.getSession().setAttribute("full_name", worker.getFullName());
        List<String> roles = worker.getRoles();
        if (roles.contains("ADMIN")) {
            result = "/admin/index.xhtml?faces-redirect=true";
        } else if (roles.contains("MANAGER")) {
            result = "/manager/index.xhtml?faces-redirect=true";
        } else
            result = "/interview/index.xhtml?faces-redirect=true";
    } catch (Exception e) {
        System.out.println(e.getMessage());
        e.printStackTrace();
        result = "loginerror";
    }
    return result;
}

[Buggy Hunk]
request.getSession().setAttribute("full_name", worker.getFullName());

[Patch]
request.getSession().setAttribute("user", worker);

[Demonstration 2]

[Buggy Method]
org.jbox2d.dynamics.Body getJBoxBody() {
    return imp.getJBoxBody();
}

[Buggy Hunk]
org.jbox2d.dynamics.Body getJBoxBody() {

[Patch]
final org.jbox2d.dynamics.Body getJBoxBody() {

[Demonstration 3]

[Buggy Method]
protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException {
    try {
        int routeId = Integer.parseInt(request.getParameter("id"));
        Route check = centralLogic.searchRoute(routeId);
        if (check != null) {
            request.setAttribute("route", check);
            request.getRequestDispatcher("./db/route/SearchRouteSuccessful").forward(request, response);
        } else {
            request.setAttribute("err", "Operation failed");
            request.getRequestDispatcher("./db/route/SearchRouteFailed").forward(request, response);
            ;
        }
        response.sendRedirect("./db/route/SearchRouteFailed").forward(request, response);
        ;
    } catch (Exception e) {
        request.setAttribute("err", e.toString());
        request.getRequestDispatcher("./SearchRouteFailed.jsp").forward(request, response);
    }
}

[Buggy Hunk]
response.sendRedirect("./db/route/SearchRouteFailed").forward(request, response);;

[Patch]
request.getRequestDispatcher("./db/route/SearchRouteFailed").forward(request, response);;