| #Fri Apr 03 15:31:34 CEST 2009 | |
| eclipse.preferences.version=1 | |
| instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true | |
| 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 |