public TagletOutput getParamHeader(String header) {
        StringBuffer result = new StringBuffer();
        result.append("<DT>");
        result.append("<B>" +  header + "</B>");
        return new TagletOutputImpl(result.toString());
    }