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