public void setConstants(final Constant[] constants) {
		this.constants = new ArrayList(constants.length);
		for (int i = 0; i < constants.length; i++) {
			this.constants.add(i, constants[i]);
		}
	}