checkstyle java 17 switch