anchor.diff:            /></a></div><%
       
       final PreferencesView view = new PreferencesView();
  +    double userFontSize = 1.0;
       final boolean isUserLoggedIn = PreferencesView.isUserLoggedIn();
       if (isUserLoggedIn == true) {
           final String authorLink = PreferencesView.getAuthorLink();
  
positive.code:     %>
      </div>
      </div>
      <div id="main">
        <h2>My Preferences</h2>
        <form action="updatePreferences" method="post">
        	<p>
  
negative.code:         pageContext.setAttribute("userName", userName);
          final String logoutLink = view.getLogoutLink();
          pageContext.setAttribute("logoutLink", logoutLink);
          userFontSize = PreferencesView.getUserFontSize();
          
      %>
        <div id="logout">Welcome back, <a href="${authorLink}">${userName}</a>.
  