Java Feature Spotlight: Local Variable Type Inference