This week's book giveaway is in the OO, Patterns, UML and Refactoring forum. We're giving away four copies of Refactoring for Software Design Smells: Managing Technical Debt and have Girish Suryanarayana, Ganesh Samarthyam & Tushar Sharma on-line! See this thread for details.
You really ought to be looking, not at the K&B book, but at the Java™ Language Specification, which is the official documentation. That confirms that K&B are in fact correct, but there is a subtle difference: you can understand K&B