/org.eclipse.jdt.core.prefs/1.1/Mon Dec 11 20:33:47 2006//
/org.eclipse.pde.prefs/1.1/Tue May  8 18:40:00 2007//
