/org.eclipse.core.resources.prefs/1.1/Sun Dec 21 09:14:49 2008//
/org.eclipse.jdt.core.prefs/1.1/Sun Dec 21 09:14:49 2008//
