001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.gui.help;
003    
004    public interface Helpful {
005        String helpTopic();
006    }