/org.eclipse.jdt.core.prefs/1.1/Wed Oct 28 15:12:34 2009//
/org.eclipse.pde.core.prefs/1.2/Thu Nov 15 16:45:42 2007//
