Test Latest Released MPL Java with DB-ESDK HEAD #99

Job	Run time
getVerifyVersion / getDafnyVerifyVersion	7s
getVersion / getDafnyVersion	7s
getMplDependencyJavaVersion / getMplDependencyJavaVersion	11s
testJava (17, ubuntu-22.04)	6m 8s
	6m 33s

Provide feedback