/org.eclipse.core.resources.prefs/1.1/Mon Feb 18 18:52:58 2008//
/org.eclipse.jdt.core.prefs/1.1/Thu Nov  8 09:54:56 2007//
/org.eclipse.ltk.core.refactoring.prefs/1.1/Thu Nov  8 09:54:56 2007//
