/org.eclipse.jdt.core.prefs/1.1/Fri Oct 28 22:19:13 2005//
/org.eclipse.jdt.ui.prefs/1.1/Fri Oct 28 22:19:13 2005//
