/org.eclipse.core.resources.prefs/1.5/Mon Nov 13 02:33:50 2006//
/org.eclipse.core.runtime.prefs/1.1/Wed Oct  4 07:27:36 2006//
/org.eclipse.jdt.core.prefs/1.4/Tue Feb 12 07:45:04 2008//
/org.eclipse.jdt.ui.prefs/1.3/Tue Feb 12 07:41:35 2008//
