BIP2NuSMV.jar: cannot execute binary file: Exec format error

[serenegrace]

Hello! I'm trying to get this running.
To that end, I wrote a Dockerfile and got everything running.
Everything built and I was able to translate a .xml file to .bip
Upon trying to run gene_models.bash, I got the following error

./gene_models.bash: line 12: ./BIP2NuSMV.jar: cannot execute binary file: Exec format error

I confirmed the jar is executable, so I'm not sure what to do.

I've attached the Dockerfile (renamed to Dockerfile.txt so github would upload it correctly).

Dockerfile.txt