Inductive JavaImageT :=
    JDK
  | JRE.
