Lazy Java book introductory example