Fix build.properties in org.jboss.tools.hibernate3_5