Proving Translation and Reduction Semantics Equivalent for Java Simple Closures, Extended Version