eclipse.preferences.version=1 formatter_profile=_JOSM formatter_settings_version=12