//-- includes which may have previously failed
//-- using the IncludeListener...and to
//-- report any potential errors.
Enumeration includes = loaded.enumerateInclude();
while ( includes.hasMoreElements() ) {
Include include = (Include) includes.nextElement();
if (!_state.processed( include.getHref() )) {
try {
loadMappingInternal( include.getHref() );
}
catch ( Exception except ) {
throw new MappingException( except );
}
}