servlet-based web pages built around JavaServer Faces, Facelets, managed Java Beans, and