Update scripts to avoid warnings regarding JNI access.#261

davexparker merged 1 commit into

prismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:fix-jni-warningdavexparker/prism:fix-jni-warningCopy head branch name to clipboard