140141142143144145146147148149150
} } Writer writer = new FileWriter( obrRepoFile ); try { dmh.writeRepository( repository, writer ); } finally { writer.close(); }