Inductive JavaInfoT := JavaInfo {
  requiredJDKVersion : nat;
  mainModule         : string
}.
