| #Tue Apr 11 15:46:34 CEST 2006 |
| eclipse.preferences.version=1 |
| internal.default.compliance=default |
| org.eclipse.jdt.ui.exception.name=e |
| org.eclipse.jdt.ui.gettersetter.use.is=true |
| org.eclipse.jdt.ui.ignorelowercasenames=true |
| org.eclipse.jdt.ui.importorder=java;javax;org.eclipse.text;org.eclipse.core;org.eclipse.core.runtime;org.eclipse.core.expressions;org.eclipse.core.variables;org.eclipse.core.resources;org.eclipse.swt;org.eclipse.jface;org.eclipse.jface.text;org.eclipse.ui;org.eclipse.ui.editors;org.eclipse.ui.views;org.eclipse.ui.workbench;org.eclipse.ui.workbench.texteditor;org.eclipse.ui.ide;org.eclipse.compare;org.eclipse.search;org.eclipse.team.core;org.eclipse.debug.core;org.eclipse.debug.ui;org.eclipse.ltk.refactoring.core;org.eclipse.ltk.refactoring.internal.core;org.eclipse.ltk.refactoring.ui;org.eclipse.ltk.refactoring.internal.ui;org.eclipse.jdt.core;org.eclipse.jdt.internal.core;org.eclipse.jdt.internal.corext;org.eclipse.jdt.launching;org.eclipse.jdt.ui;org.eclipse.jdt.internal.ui;org.eclipse.jdt.debug.core;org.eclipse.jdt.debug.ui;org.eclipse.jdt.junit.runtime;org.eclipse.jdt.junit;org.eclipse.jdt.internal.junit; |
| org.eclipse.jdt.ui.javadoc=true |
| org.eclipse.jdt.ui.ondemandthreshold=99 |
| org.eclipse.jdt.ui.overrideannotation=true |
| org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/> |
