Hi, >>>>> ":" == Guilhem Lavaux <guilhem at kaffe.org> writes: :> 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. Thank you very much. My problem has been solved. This fix was needed to run the development version of HSQLDB.