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