progressing with Minizinz2Java