Vagrant for IoTCheck

This is the second release of Vagrant package for IoTCheck. In this release, we fixed the installation of JDK 8. Recent updates (in 2021) to JDK 8 have changed some of the classes structurally. Thus, we can no longer directly install JDK 8 from the provided Ubuntu 16.04's repository.

For Groovy 2.5.8 and our snapshot of JPF, we have to use a JDK version that is from before 2021, e.g., JDK1.8.0_201 used in our case.

Vagrant for IoTCheck

This is the first release of Vagrant package for IoTCheck.