Clean Java Language Specification