001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.io;
003    
004    import org.openstreetmap.josm.data.osm.DataSet;
005    import org.openstreetmap.josm.gui.progress.ProgressMonitor;
006    
007    public interface OsmServerReadPostprocessor {
008    
009        public void postprocessDataSet(DataSet ds, ProgressMonitor progress);
010    
011    }