| #Wed May 25 09:45:02 CEST 2005 |
| eclipse.preferences.version=1 |
| internal.default.compliance=default |
| org.eclipse.jdt.ui.ignorelowercasenames=true |
| org.eclipse.jdt.ui.importorder=java;javax;junit;org.eclipse.core;org.eclipse.core.runtime;org.eclipse.core.resources;org.eclipse.swt;org.eclipse.jface;org.eclipse.jface.text;org.eclipse.ui;org.eclipse.ui.editors;org.eclipse.ui.workbench;org.eclipse.ui.workbench.texteditor;org.eclipseui.ide;org.eclipse.search.ui;org.eclipse.search.internal;org.eclipse.search2.internal;org.eclipse.search.core.tests;org.eclipse.search.tests;org.eclipse.search.tests.filesearch; |
| org.eclipse.jdt.ui.ondemandthreshold=99 |