/org.eclipse.core.resources.prefs/1.3/Mon Dec 25 19:41:57 2006//
/org.eclipse.jdt.core.prefs/1.5/Thu Jan 24 05:46:42 2008//
/org.eclipse.jdt.ui.prefs/1.1/Thu May 25 03:58:32 2006//
/org.hibernate.eclipse.console.prefs/1.1/Fri Jun  9 19:22:59 2006//
