Why do you think they aren’t proper closures? Because they don’t allow you to mutate captured locals? Neither do closures in Haskell, and neither do lambdas in Java 8, so by that argument Java still doesn’t have closures. Your arguments are inconsistent because you’ve claimed that Java now has closures, even though they still do not meet your definition of closures.
Apart from effective finality and implementation, the semantics of anonymous classes and lambdas is the same!
Apart from effective finality and implementation, the semantics of anonymous classes and lambdas is the same!