/org.eclipse.core.resources.prefs/1.1/Thu Aug 24 03:56:10 2006//
/org.eclipse.core.runtime.prefs/1.1/Thu Aug 24 04:40:25 2006//
/org.eclipse.jdt.core.prefs/1.2/Thu Aug 24 04:41:42 2006//
/org.eclipse.jdt.ui.prefs/1.1/Thu Aug 24 04:41:42 2006//
