public double getDoubleOption(String key, double defValue) {
		String binding = getOption(key, null);
		if (binding == null || binding.equals("")) return defValue;
		return Double.valueOf(binding).doubleValue();
	}