Hi, I think I found it by myself: it's the paragraph 15.12.4.1 of the Java Language Specification. I'm committing it now. Cheers, Guilhem.