It says: Running `java -jar aZ3` without parameters can give you a list of options. It should say: Running `java -jar aZ3.jar aZ3` without parameters can give you a list of options.
It says:
Running
java -jar aZ3without parameters can give you a list of options.It should say:
Running
java -jar aZ3.jar aZ3without parameters can give you a list of options.