There are two things that could be containerized:
1. The automated regression tests (the 900+ unit tests that are run every time as part of continuous integration/CI). A docker image makes the test setup independent of platform-specific configurations and allow us to run them on different computers easily. Right now, the CI setup is based on github actions and cannot be executed in other ways.
2. The JPF application itself. I am not sure how this would be done in the best way, though. It would be easy to create a docker image that can run the built-in examples, but in order to be useful, the image would have to support users in running their own examples. It would therefore need an entire development environment so users cannot just copy examples to the docker image, but actually work with them (and fix small mistakes before running JPF again).
Providing "vim" would work as a relatively stable image that can be used in the long term, but more complex environments like "VS Code" change weekly, so they would not be suitable for this kind of image, unless there is a way to automatically update them.
Option (1) is smaller in scope and easier to achieve, so I suggest that. Option (2) would need more discussion.