I am building a tool based on jpf in my research. However, my tool needs jpf built on jdk 1.7, which is unavailable on the official page.
Could you please provide me with the jdk 1.7 version of jpf suite (jpf-core, jpf- symbc and jpf-jdart)?
Best regards