/org.eclipse.jdt.core.prefs/1.2/Fri Nov 25 19:15:37 2005//
/org.eclipse.jdt.ui.prefs/1.1/Wed Aug 31 09:34:59 2005//
