public int getIntOption(String key, int defValue) {
		String binding = getOption(key, null);
		if (binding == null || binding.equals("")) return defValue;
		return Integer.decode(binding).intValue();
	}