From Object Calculus to Java with Passing and Extraction of Methods