| #Fri Aug 26 10:32:33 CEST 2005 | |
| eclipse.preferences.version=1 | |
| formatter_settings_version=8 | |
| 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 | |
| org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/> |