Module Qcert.Java.Lang.Java


Section Java.
  Require Import String.

Java programs are in serialized form
  Definition java := string.
  
End Java.