| #Mon Jul 10 11:23:28 CEST 2006 | |
| eclipse.preferences.version=1 | |
| formatter_profile=org.eclipse.jdt.ui.default.eclipse_profile | |
| formatter_settings_version=10 | |
| internal.default.compliance=default | |
| 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 |