Depend on version 4.0.1 of org.hibernate.eclipse