Email Record: Formal syntax and semantics of Java /