Various fixes and improvements for recent Java and Jenkins versions#2
Open
dwnusbaum wants to merge 3 commits intojglick:masterfrom
Open
Various fixes and improvements for recent Java and Jenkins versions#2dwnusbaum wants to merge 3 commits intojglick:masterfrom
dwnusbaum wants to merge 3 commits intojglick:masterfrom