/org.eclipse.jdt.core.prefs/1.1/Wed Oct 28 15:12:34 2009//
/org.eclipse.pde.core.prefs/1.2/Tue Nov 13 13:23:39 2007//
