public MirroredPropertyInfo(String name, int[] value,
public MirroredPropertyInfo(String name, int[] values,
    public MirroredPropertyInfo(String name, int[] value,				Integer firstValue, Integer lastValue,				String tooltip, String help)    {      this.name = name;      this.value = value;      this.firstValue = firstValue;      this.lastValue = lastValue;      this.tooltip = tooltip;      this.help = ScalabilityHelp.getURL(help);    }