Codes for HeadFirst JSP.