anchor.diff:            Set<String> set = allWfInfos.keySet();
             for (String key : set){
   %>
  -            <option value="<%=key %>" <%if (key.equals(selectedGroupName)) { %>selected="selected"<%} %>>
  +            <option value="<%=key %>" 
  +<%
  +              if (key.equals(selectedGroupName)) {
  +%>              selected="selected"
  +<%            
  +            } 
  +%>          >
               <%=key %>
               </option>
   <%
  
positive.code:           for (WorkflowInfo info : wfInfos) {
  %>
              <option value="<%=info.getWfId() %>" 
              <% if(session.getAttribute("currentWfId0") != null && session.getAttribute("currentWfId0").equals(info.getWfId())) { %> selected="selected" <%} %>>
              <%=info.getTitle()%>
              </option>
  <%
  
negative.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>
  <%      
  