plugins/org.eclipse.wst.web/.settings/org.eclipse.jdt.ui.prefs

#Tue Sep 29 10:42:06 EDT 2009
org.eclipse.jdt.ui.exception.name=e
eclipse.preferences.version=1
org.eclipse.jdt.ui.keywordthis=false
org.eclipse.jdt.ui.overrideannotation=true
org.eclipse.jdt.ui.gettersetter.use.is=true