org_apache_struts2_rest_DefaultHttpHeadersTest_java
org.springframework.mock.web.MockHttpServletResponse
private String formatDate(long date) {
        return this.newDateFormat().format(new Date(date));
    }
 -> java.text.SimpleDateFormat.setTimeZone(java.util.TimeZone): void -> java.text.DateFormat.format(java.util.Date): java.lang.String
 [CALL] [CALL] -> java.text.SimpleDateFormat.setTimeZone(java.util.TimeZone): void [EXIT] -> java.text.DateFormat.format(java.util.Date): java.lang.String [EXIT]