Impose some of the constants naming scheme.

(/=) Remove redundant session attribute USER_LOGGED_IN, can always be
reconstructed from SHARED_SESSION_USER
(/=) Use SHARED prefix to indicate that the session attribute is to be
used by different servlets.

Case.jsp:
(/=) Fix indentation