anchor.diff:            for (WorkflowInfo info : wfInfos) {
   %>
               <option value="<%=info.getWfId() %>" 
  -            <% if(session.getAttribute("currentWfId0") != null && session.getAttribute("currentWfId0").equals(info.getWfId())) { %> selected="selected" <%} %>>
  +<% 
  +            if (session.getAttribute("currentWfId0") != null && session.getAttribute("currentWfId0").equals(info.getWfId())) {
  +%> 
  +                selected="selected" 
  +<%  
  +            } 
  +%>          >
               <%=info.getTitle()%>
               </option>
   <%
  
positive.code:           </select>
            <a href="javascript:showDetails()">Details</a>
            <br><br>
            <input type="checkbox" name="printExamples" <%if(printExamples){ %>checked="checked"<%} %>>Show input values, if available<br><br>
            <input type="submit" value="Show input fields"></input>
            </form>
  <%      
  
negative.code:           Set<String> set = allWfInfos.keySet();
            for (String key : set){
  %>
              <option value="<%=key %>" 
  <%
                if (key.equals(selectedGroupName)) {
  %>              selected="selected"
  <%            
              } 
  %>          >
              <%=key %>
              </option>
  <%
  