javapathfinder/jpf-core — reverse-engineered prompt

I want this Java PathFinder project set up so I can actually use it to analyze Java bytecode programs, not just have the source sitting there. Please get it building cleanly on Java 11, or use the included Docker setup if that is the smoothest way, and make sure the basic model checking flow works end to end.

When you are done, I should be able to run a simple example and see it catch the kind of problems this tool is meant for, like a deadlock, a null pointer crash, or a failed assertion. If anything needs config, defaults, or small fixes to make the repo usable out of the box, go ahead and do that. Please also leave a very simple run guide in the repo, with the exact commands I need and where to put a sample Java program to verify everything is working.

If the README is too thin, look up the current project docs or wiki as needed.