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