/org.eclipse.jdt.core.prefs/1.1/Fri Nov 10 03:23:15 2006//
/org.eclipse.jdt.ui.prefs/1.1/Fri Nov 10 03:23:44 2006//
