/org.eclipse.jdt.core.prefs/1.1/Tue Aug 19 14:14:08 2008//
/org.eclipse.pde.core.prefs/1.1/Tue Aug 19 14:14:08 2008//
