/org.eclipse.jdt.core.prefs/1.12/Mon Aug 18 14:32:57 2008//
/org.eclipse.jdt.ui.prefs/1.6/Tue Jul 22 17:43:14 2008//
