String paramList(String title, CSProperties p) {
            if (p.size() == 0) {
                return "";
            }

            List<String> keys = new ArrayList<String>(p.keySet());
            Collections.sort(keys);

            StringBuffer db = new StringBuffer();
            db.append("<variablelist>");
            for (String name : keys) {
                db.append(varlistentry(name, p.get(name).toString(), p.getInfo(name)));
            }
            db.append("</variablelist>");
            return db.toString();
        }