/org.eclipse.jdt.core.prefs/1.1/Tue Sep 15 09:31:09 2009//
/org.eclipse.pde.core.prefs/1.1/Tue Sep 15 09:31:09 2009//
