Proving Translation and Reduction Semantics Equivalent for Java Simple Closures