/org.eclipse.jdt.ui.prefs/1.1/Thu Feb  1 06:12:02 2007//
/org.hibernate.eclipse.console.prefs/1.1/Thu Feb  1 06:12:02 2007//
