else if (type == Type.Param)
{
// System.out.printf( "adding to p.descr (%s): %s\n", name, s );
Parameter p = m.getParameter( name );
if (p != null)
p.descr().add( s );
else
System.out.printf( "*** warning: cannot document parameter %s of %s\n", name, m.name() );
}
else if (type == Type.Return)
{