public String getHistoryUrl() { String url = getFullName(); if (result != null) { url += "?pageHistory&resultDate="; url += dateFormatter.format(result.getDate()); } return url; }