Sections 15.12.2.7 and 15.12.2.8, in JLS 7, have been replaced by Chapter 18. But the definition of the 'lub' operation on types, from the end of 15.12.2.7, is not included in the new spec text. It needs to be moved to a new location, such as Chapter 4.