forgot to update the eclipse launch config to use ...tool.RunJPF instead of gov.nasa.jpf.Main, which is gone
forgot to update the eclipse launch config to use ...tool.RunJPF instead of gov.nasa.jpf.Main, which is gone

grzesuav/gjpf-core,grzesuav/gjpf-core