#set ($month = "DocumentFilter.Month_${MINDATEMONTH}")
$Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MinDateColon')) $MINDATEYEAR $Encoder.bodyEscape($ResourceBundle.getString($month)) $MINDATEDAY $MINDATEHOUR:$MINDATEMINUTE
$Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MinFileSizeBytesColon')) $Encoder.bodyEscape($MINFILESIZE)
$Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.MaxFileSizeBytesColon')) $Encoder.bodyEscape($MAXFILESIZE)
$Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.AllowedMIMETypesColon')) $Encoder.bodyEscape($MIMETYPES)
$Encoder.bodyEscape($ResourceBundle.getString('DocumentFilter.AllowedFileExtensionsColon')) $Encoder.bodyEscape($EXTENSIONS)