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