in src/main/java/org/apache/openejb/tools/release/util/Options.java [119:130]
public int get(final String property, final int defaultValue) {
final String value = properties.getProperty(property);
if (value == null || value.equals("")) return parent.get(property, defaultValue);
try {
return log(property, Integer.parseInt(value));
} catch (final NumberFormatException e) {
warn(property, value, e);
return parent.get(property, defaultValue);
}
}