/org.eclipse.core.resources.prefs/1.5/Mon Nov 13 02:16:46 2006//
/org.eclipse.core.runtime.prefs/1.1/Wed Oct  4 07:27:36 2006//
/org.eclipse.jdt.core.prefs/1.3/Mon Nov 13 02:16:46 2006//
/org.eclipse.jdt.ui.prefs/1.2/Mon Nov 13 02:16:46 2006//
