Introducing string-based switch à la Java 7