Upgrade kotest, use java 11 for building everything#522

piazzesiNiccolo-GS wants to merge 1 commit into

masterGuardsquare/proguard:masterfrom

kotestGuardsquare/proguard:kotestCopy head branch name to clipboard