plugins/org.eclipse.xtend.backend.compiler/.settings/org.eclipse.jdt.ui.prefs

#Thu Aug 26 17:53:55 CEST 2010
eclipse.preferences.version=1
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