#Sun Jan 31 13:16:40 CET 2010
eclipse.preferences.version=1
formatter_profile=_JOSM
formatter_settings_version=11
org.eclipse.jdt.ui.exception.name=e
org.eclipse.jdt.ui.gettersetter.use.is=true
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.overrideannotation=true