%-- Presents a form that allows for name checking.
We record all the old parameters in the request. Note that this
can only be done before we start setting attribute values: otherwise
the whole scheme here fails. --%>
<%
java.util.Set possibleDuplicates =
(java.util.Set) request.getAttribute("possibleDuplicates");
String name = (String) request.getAttribute("name");
String[] parameterHiddenElements =
pub.utils.StringUtils.parametersAsHiddenInputs(request);
%>