tycho: Fix wrong libz3java.win project directory name