static int getIntProperty(LogManager mgr, String name, int defaultValue) {
        String val = mgr.getProperty(name);
        if (val == null) {
            return defaultValue;
        }
        try {
            return Integer.parseInt(val.trim());
        } catch (Exception ex) {
            return defaultValue;
        }
        }