plugins/org.eclipse.jst.j2ee.web/.settings/org.eclipse.jdt.ui.prefs

#Mon Feb 22 11:50:31 EET 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