#Mon Jul 26 10:41:45 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.javadoc=true org.eclipse.jdt.ui.keywordthis=true org.eclipse.jdt.ui.overrideannotation=true org.eclipse.jdt.ui.text.custom_code_templates=