/org.eclipse.jdt.core.prefs/1.1/Mon Jan 12 09:48:22 2009//
/org.eclipse.pde.core.prefs/1.2/Mon May 18 13:53:32 2009//
