Closed jesse-gallagher closed 3 years ago
Currently, the way it's signified is setting JavaVersion to "Domino", but it'd be better to swap these around - pick your JVM type and then the version iff it's not RunningJVM.
Currently, the way it's signified is setting JavaVersion to "Domino", but it'd be better to swap these around - pick your JVM type and then the version iff it's not RunningJVM.