logger.finer( "  " + key + " = " + val );
finer( "  " + key + " = " + val );
    private void logAfterLoad() {        Enumeration elem = properties.keys();        logger.finer( "Configuration contains " + properties.size() + " keys." );        logger.finer( "List of configuration properties, after override:" );        while ( elem.hasMoreElements() ) {            String key = (String)elem.nextElement();            String val = properties.getProperty( key );            logger.finer( "  " + key + " = " + val );        }        logger.finer( "Properties list complete." );    }