Modern Java Patterns in Practice: Records, Pattern Matching, and Switch (with Real Refactors)