/org.eclipse.jdt.core.prefs/1.1/Tue Apr 25 19:09:56 2006//
/org.eclipse.jdt.ui.prefs/1.1/Tue Apr 25 19:09:56 2006//
D
