//--------------------------------------------------------------------------
public static String getParam(Element el, String name) throws BadInputEx
{
if (el == null)
throw new MissingParameterEx(name);
Element param = el.getChild(name);
if (param == null)
throw new MissingParameterEx(name, el);
String value = param.getTextTrim();
if (value.length() == 0)
throw new BadParameterEx(name, value);