#Mon Jun 11 14:58:22 EDT 2007 | |
eclipse.preferences.version=1 | |
org.eclipse.jdt.ui.exception.name=e | |
org.eclipse.jdt.ui.gettersetter.use.is=true | |
org.eclipse.jdt.ui.javadoc=false | |
org.eclipse.jdt.ui.keywordthis=false | |
org.eclipse.jdt.ui.overrideannotation=true |