| #Tue Apr 18 20:18:07 CEST 2006 | |
| eclipse.preferences.version=1 | |
| internal.default.compliance=default | |
| org.eclipse.jdt.ui.ignorelowercasenames=true | |
| org.eclipse.jdt.ui.importorder=java;javax;org.eclipse.text;org.eclipse.core.runtime;org.eclipse.core.expressions;org.eclipse.core.filebuffers;org.eclipse.core.resources;org.eclipse.ltk.core.refactoring;org.eclipse.ltk.core.refactoring.participants;org.eclipse.ltk.internal.core.refactoring; | |
| org.eclipse.jdt.ui.ondemandthreshold=99 |