core merge requestshttps://git-r3lab.uni.lu/minerva/core/-/merge_requests2019-05-06T18:47:04+02:00https://git-r3lab.uni.lu/minerva/core/-/merge_requests/769Resolve "use of openjdk in deb package"2019-05-06T18:47:04+02:00Piotr GawronResolve "use of openjdk in deb package"Closes #223Closes #223v13.0.0