Depend on version 4.0.1 of org.jboss.tools.hibernate.spi