Correction.java

// License: GPL. For details, see LICENSE file.
package org.openstreetmap.josm.corrector;

public interface Correction {

}