/org.eclipse.core.resources.prefs/1.1/Fri Jun  9 06:13:41 2006//
/org.eclipse.jdt.core.prefs/1.2/Tue Apr 25 19:10:45 2006//
/org.eclipse.jdt.ui.prefs/1.1/Sun Apr  2 20:15:31 2006//
D
