If you have any problem, send an email to pierre.beaujean@unamur.be, find me on Discord or IRL in the lecture room, I'll be happy to help ;)
Whatever your choice, OpenJML only runs with Java <= 8. Thus, you need to install this version of Java.
On ubuntu, you may do the following: