code: public int[] getInts(String name) {
  		String[] strings = getTrimmedStrings(name);
  		int[] ints = new int[strings.length];
  		for (int i = 0; i < strings.length; i++) {
  			ints[i] = Integer.parseInt(strings[i]);
  		}
  		return ints;
  	}
docs: Get the value of the <code>name</code> property as a set of comma-delimited
  <code>int</code> values.
  
  If no such property exists, an empty array is returned.
  
  @param name property name
  @return property value interpreted as an array of comma-delimited
  <code>int</code> values