tycho: Use different libz3java jar folders