reader.moveUp();
reader.moveUp();
} else if ( reader.getNodeName().equals( "fact-handle" ) ) {
String identifier = reader.getAttribute( "identifier" );
facts.put( identifier,
new DisconnectedFactHandle( reader.getAttribute( "externalForm" ) ) );
} else if ( reader.getNodeName().equals( "fact-handles" ) ) {
String identifier = reader.getAttribute( "identifier" );
List<FactHandle> list = new ArrayList();
while ( reader.hasMoreChildren() ) {
reader.moveDown();
list.add( new DisconnectedFactHandle( reader.getAttribute( "externalForm" ) ) );
reader.moveUp();
}
facts.put( identifier,
list );
} else {