org.openstreetmap.josm.data.preferences

Class IntegerProperty

JOSM