LegacyAdminController { @Deprecated @GetMapping("admin.rejudge") public String rejudge(HttpServletRequest request) { return "redirect:" + URIBuilder.fromRequest(request).replacePath("/admin/rejudge").toString(); }  @Deprecated @GetMapping("admin.showproblem") String showProblem(@RequestParam("problem_id") long problemId,
            RedirectAttributes redirectAttributes); @Deprecated @GetMapping("admin.showcontest") String showContest(@RequestParam("contest_id") long contestId,
            RedirectAttributes redirectAttributes); @Deprecated @GetMapping("admin.rejudge") String rejudge(HttpServletRequest request);  }
@Test public void testRejudge() throws Exception { log.info("rejudge"); MvcResult result = mvc.perform(get("/admin.rejudge").param("contest_id", Long.toString(1))) .andExpect(redirectedUrl("/admin/rejudge?contest_id=1")) .andReturn(); }