/org.eclipse.jdt.core.prefs/1.1/Tue Oct 21 13:41:04 2008//
/org.eclipse.pde.core.prefs/1.2/Thu May 28 09:43:17 2009//
