autoEnabled=true
eclipse.preferences.version=1
extraProperties=
moduleKey=jmapviewer
serverId=josm