The Java language specification See original record