} else {
heading = "Welcome Back";
Integer oldAccessCount =
// 在Servlet API 2.2中使用getAttribute而不是getValue
(Integer)session.getValue("accessCount");
if (oldAccessCount != null) {
accessCount =
new Integer(oldAccessCount.intValue() + 1);
}
}
// 在Servlet API 2.2中使用putAttribute
session.putValue("accessCount", accessCount);
out.println(ServletUtilities.headWithTitle(title) +
"＜BODY BGCOLOR=＼"#FDF5E6＼"＞＼n" +
"＜H1 ALIGN=＼"CENTER＼"＞" + heading + "＜/H1＞＼n" +
"＜H2＞Information on Your Session:＜/H2＞＼n" +
"＜TABLE BORDER=1 ALIGN=CENTER＞＼n" +
"＜TR BGCOLOR=＼"#FFAD00＼"＞＼n" +
" ＜TH＞Info Type＜TH＞Value＼n" +
"＜TR＞＼n" +
" ＜TD＞ID＼n" +
" ＜TD＞" + session.getId() + "＼n" +
"＜TR＞＼n" +
" ＜TD＞Creation Time＼n" +
" ＜TD＞" + new Date(session.getCreationTime()) + "＼n" +
"＜TR＞＼n" +
" ＜TD＞Time of Last Access＼n" +
