The Java® Language Specification - Java SE 17 Edition