001// License: GPL. For details, see LICENSE file. 002package org.openstreetmap.josm.io; 003 004import static org.openstreetmap.josm.tools.I18n.tr; 005 006import org.openstreetmap.josm.actions.ExtensionFileFilter; 007 008/** 009 * OSM data exporter that compresses it in GZip format. 010 */ 011public class OsmGzipExporter extends OsmExporter { 012 013 /** 014 * Constructs a new {@code OsmGzipExporter}. 015 */ 016 public OsmGzipExporter() { 017 super(new ExtensionFileFilter( 018 "osm.gz", "osm.gz", tr("OSM Server Files gzip compressed") + " (*.osm.gz)")); 019 } 020 021 // compression handling is performed in super-class 022 023}