///
/// <summary> * constructs a JDFIntegerRangeList with the given JDFIntegerRangeList and sets the number of items
/// * </summary>
/// * <param name="irl"> the given JDFIntegerRangeList </param>
///
public JDFIntegerRangeList(JDFIntegerRangeList irl)
{
rangeList = new ArrayList(irl.rangeList);
setDef(irl.getDef());
}
