/org.eclipse.jdt.core.prefs/1.1/Thu Sep 17 15:36:47 2009//
/org.eclipse.pde.core.prefs/1.2/Wed Dec  2 16:34:08 2009//
