/org.eclipse.core.resources.prefs/1.1/Sat Aug 25 11:45:18 2007//
/org.eclipse.jdt.core.prefs/1.1/Sat Aug 25 11:45:18 2007//
/org.eclipse.jdt.ui.prefs/1.1/Sat Aug 25 11:45:18 2007//
