Pr/951#958

Merged

Frotty merged 8 commits intomasterfrom

Jun 18, 2020

Commits on May 11, 2020

Commits on May 17, 2020

do not user Optional::isEmpty or Optional::or, which are not compatible with java8
Cokemonkey11
committed

Commits on May 25, 2020

apply review feedback
Cokemonkey11
committed

Commits on Jun 18, 2020