path: root/plugins/org.eclipse.emf.cdo.common.db/.settings/org.eclipse.jdt.ui.prefs

#Fri Jun 12 10:18:28 CEST 2009
eclipse.preferences.version=1
org.eclipse.jdt.ui.exception.name=ex
org.eclipse.jdt.ui.gettersetter.use.is=true
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.overrideannotation=true