Java theory and practice: The closures debate