tycho: Fix wrong libz3java.win project name in parent pom.xml