public double getDouble(String key, Filter filter) { Double value = getDouble(key, filter, null); assertNotNull(key, value); return value.doubleValue();
public double getDouble(String key) { return properties.getDouble(key);
    public double getDouble(String key, Filter filter) {        Double value = getDouble(key, filter, null);                assertNotNull(key, value);        return value.doubleValue();    }