Inductive JavaInfoT := JavaInfo {
  requiredJDKVersion : nat;
  mainModule         : string;
  extraOptions       : list string;
  enableNativeAccess : list string;
  imageType          : JavaImageT
}.
