int val, int minVal, int maxVal, String paramName,
int[] discreteSpecialValues, double[] specialValueProbabilities) {
IntegerParameter param = new IntegerParameter(val, minVal, maxVal, paramName);
int numValues = (maxVal - minVal + 1);
param.setRedistributionFunction(
new DiscreteRedistribution(numValues, discreteSpecialValues, specialValueProbabilities));
return param;
}